Translate the following inference to logic notation: Michael is playing squash if and only if it is cloudy. For all x, x_9 will take a plane. Michael is not playing squash. Therefore it is not cloudy and Thomas is taking a plane.
p <-> q. forall x: P(x). ~p. Therefore ~q and P(a).