For this problem, you will do a resolution proof based on the following situation:
Tom and Mike are members of the Mountain club. All members of the Mountain club are skiers or climbers (or both). Climbers don't like rain, and skiers don't like snow. Mike doesn't like anything that Tom likes, and Mike likes everything that Tom doesn't like. Tom likes rain.
Use the following predicates for this problem:
Member(x) x is a member of the Mountain club
Skier(x) x is a skier
Climber(x) x is a climber
Likes(x, y) x likes y
Translate the above prose into first order logic sentences.