MemberAlpineClub(Tony) *End*
MemberAlpineClub(John) *End*
MemberAlpineClub(Mike) *End*
*Prefix* *Forall* (x)  *Matrix* MemberAlpineClub(x) *Implies* [ Skier(x) *Or* MountainClimber(x) ] *End*
*Prefix* *NotExists* (x) *Matrix* MountainClimber (x) *And* Likes(x, Rain) *End*
*Prefix* *Forall* (x) *Matrix* Skier(x) *Implies* Likes(x,Snow) *End*
*Prefix* *Forall* (x) *Matrix* Likes(Mike, x) *Implies* [ *Not* Likes(Tony, x) ] *end*
Likes(Tony, Rain) *End*
Likes(Tony, Snow) *End* 
*Therefore* MemberAlpineClub(x) *And* MountainClimber(x) *And* [ *Not* Skier(x) ] *End*