Question 4 You are given the following predicates: dog(X)=X is a dog animal(X)=X is an animal dies(X)=X dies (a) Translate the following English sentences into First-Order Logic statements: 1. Fido is a dog. 2. All dogs are animals. 3. All animals will die. (2 marks) (b) Convert the First-Order Logic statements obtained in (a) into Conjunctive Normal Form. (2 marks) (c) Use resolution refutation to prove that Fido will die. (6 marks)