Translate the following inference to logic notation: If Michael sleeps, then Richard is playing a game. If Richard climbs a mountain, then Michael is sleeping. For all x, x_10 will not play a game. Therefore Richard is not climbing a mountain.
p -> P(a). q -> p. forall x: ~P(x). Therefore ~q.