Problem 3 (15 pts) Represent the following sentences in first-order logic, using a consis- tent vocabulary (which you must define): a. Not all students take both History and Biology b. Only one student failed History. c. Every person who dislikes all vegetarians is smart d. No person likes a smart vegetariarn e. There is a student who does homework for those and only those who do not do homework for themselves