Please help with answering the following logic/AI related question:

(10 p) Consider the following sentences: All animals can outrun any animals that they eat If x can outrun y and y can outrun z, then x can outrun z. All lions eat zebras. All zebras can outrun dogs. Lions, zebras and dogs are animals. Lio is a lion, Gini is a zebra, and Pluto is a dog. (a) Change these sentences to predicate form by using the standard form of logic and the following predicates: animal(x), carnivore(x), lion(x), zebra(x), dog(x), can-outrun(x, y), and eat(x, y). (b) Translate the formulas to clause form. (c) Use resolution to answer the question: Who can outrun Gini