Translate the following inference to logic notation: Thomas is not a sailor. If it is cloudy, then Thomas is playing a game. If Thomas plays a game, then Thomas is a sailor. For all x, if x_12 were a sailor, then x_12 is playing a game. Therefore it is not cloudy.
~P(a). p -> Q(a). Q(a) -> P(a). forall x: P(x) -> Q(x). Therefore ~p.