Translate the following inference to logic notation: If it is sunny, then Richard is playing squash. For all x, z will not play squash. Therefore it is not sunny.
p -> P(a). forall x: ~P(x). Therefore ~p.