Assignments: Solve the following using predicate calculus resolution refutation.

1. Every coyote chases some roadrunner. Every roadrunner who says ``beep-beep'' is
smart. No coyote catches any smart roadrunner. Any coyote who chases some
roadrunner but does not catch it is frustrated. Prove that if all roadrunners say ``beep-
beep'', then all coyotes are frustrated.

2. Every child loves anyone who gives the child any present. Every child will be given
some present by Santa if Santa can travel on Christmas Eve. It is foggy on Christmas
Eve. Anytime it is foggy, anyone can travel if he has some source of light. Any reindeer
with a red nose is a source of light. Prove that if Santa has some reindeer with a red
nose, then every child loves Santa.

3. Every boy or girl is a child. Every child gets a doll or a train or a lump of coal. No boy
gets any doll. No child who is good gets any lump of coal. Prove that if no child gets a
train, then no boy is good.

4. Everyone who aces any final exam studies or is brilliant or is lucky. Everyone who
makes an A aces some final exam. No CS major is lucky. Anyone who drinks beer does
not study. Prove that if every CS major makes an A, then every CS major who drinks
beer is brilliant.

5. Everyone who feels warm either is drunk, or every costume they have is warm. Every
costume that is warm is furry. Every AI student is a CS student. Every AI student has
some robot costume. No robot costume is furry. Prove that if every CS student feels
warm, then every AI student is drunk.

6. Jack owns a dog. Every dog owner is an animal lover. No animal lover kills an animal.
Either Jack or Bill killed the cat, which is named Tuna. Did Bill kill Tuna?

7. Every dog eats a biscuit. All bulldogs are dogs. Blacky is a bulldog living in New York.
Any biscuit eaten by a bulldog is miserable. Prove that some biscuits are miserable.

8. The law says that it is a crime for an American to sell weapons to hostile nations. The
country Nono, an enemy of America, has some missiles, and all of its missiles were
sold to it by Colonel West, who is American. Prove that West is a criminal.

9. Every part is either made by FooCorp or BarCorp. All fragile parts are stored in the
warehouse of their manufacturer. BarCorp can’t manufacture titanium parts. The part-I
is fragile and made of titanium. Prove that part-I is in the FooCorp’s warehouse.

10. Marcus was a man. Marcus was a Pompeian. All Pompeians were Romans. Caesar was
a ruler. All Pompeians were either loyal to Caesar or hated him. Everyone is loyal to
someone. People only try to assassinate rulers they are not loyal to. Prove that Marcus
tried to assassinate Caesar.