A simple YES or NO answer will suffice. Translate each of the FOPC sentences below into an equivalent English sentence. Your translation should not contain any X's, Y's, or other variables. There does not exist a lion that does not eat any meat. If there exists a dragon, then it's not true that there is no animal that eats grizzly bears.
All animals have some other animal that is their parent, and that parent is older than they are.
If all birds can fly, then there is some ostrich that can fly. There is no animal that eats poisonous purple mushrooms. Next, take the clauses you just generated and use resolution to derive the empty clause. Premise 1 2. Premise 1 4.