Problem
John likes all kinds of food. Apples are food. Chicken is food. Anything anyone eats and is not killed by is food. Bill eats peanuts and is still alive. Sue eats everything Bill eats. (i) Convert the wffs for these facts to clause form. (ii) Using resolution prove that "John likes peanuts".