AI question on knowledge

2. Consider the following information: - Animals can outrun any animals that they can eat. Carnivores eat other animals. - Outrunning is transitive: if x can outrun y and y can outrun z, then x can outrun z. Lions eat zebras. - Zebras can outrun dogs. - Dogs are carnivores. Using this a. Write a set of FOL sentences representing the information using the standard notation for FOL. b. Convert these sentences to clausal normal form. c. Use resolution theorem proving to find three animals that lions can outrun, showing the result as a proof graph