Brachman and Levesque exercise 2 after chapter 4. Prove using resolution that the following sentences: Tony, Mike and John belong to the Alpine Club. Every member of the Alpine Club who is not a skier is a mountain climber. Mountain climbers do not like rain, and anyone who does not like snow is not a skier. Mike dislikes whatever Tony likes, and likes whatever Tony dislikes. Tony likes rain and snow. entail that there is a member of Alpine Club who is a mountain climber but not a skier. You can also do this using answer extraction: introduce an answer predicate and get the name for the member who is a climber but not a skier.