Convert the following sentence into formal logic.








Which of the following is the correct form?