Consider the following axioms. Hint: the predicates WHITE, SNOWY, HAPPY, and GETS should each have a “time” argument.
a) Anyone who owns any sled is happy when it is snowy.
b) When it is white, it is snowy.
c) If Santa is happy at Christmas, then every child who is good gets some toy at Christmas.
d) Any child who gets a toy at any time is happy at that time.
e) Santa owns a sled.
(Conclusion) If it is white at Christmas and every child who is not good owns some sled, then every child is happy at Christmas.
Prove this reasoning using resolution.n
