Translate the following inference to logic notation: John is playing tennis if and only if it is sunny. If John plays tennis, then John is a taxi driver. It is not sunny. For all x, if x_21 were a taxi driver, then x_21 is playing tennis. If it is late, then John is a taxi driver. Therefore it is not late.
P(a) <-> p. P(a) -> Q(a). ~p. forall x: Q(x) -> P(x). q -> Q(a). Therefore ~q.