Theorem Proving Given the following statements:

• Nellie is an elephant
• All elephants are animals
• All animals eat apples

We wish to prove that Nellie eats apples.

a. What is the predicate logic and clause form for the statements?

b. Prove that Nellie eats apples using the DIRECT PROOF method as shown in class and in the notes.

c. Prove that Nellie eats apples using the CONTRADICTION PROOF method as shown in class and in the notes .