Question 5 Resolution Refutation [21] Read the following English statements are given below and answer the questions that follow: 1. Anything that anyone eats and is not killed by eating it, is food. 2. Mary eats any kind of food. 3. Pap is food. 4. Meat is food. 5. Peter eats peanuts and is not killed by eating it. 6. Joe eats everything that Peter eats. a) Convert the statements to First Order Logic statements. The first statement has been provided already, convert the rest. Remember to standardise your variables. by,z[ eats (y,z)killedf romeating (y,z)food(z)] b) Convert all of the FOL statements above to Conjunctive Normal Form (CNF) (includ- ing the statement that was provided). Hint: First think carefully what it means for a statement to be in CNF. c) Use resolution refutation to prove that Mary eats peanuts, using the assumptions in the paragraph above. (9)