Translate the following inference to logic notation: If John were a sailor, then it is not cold. For all x, x_7 will cook if and only if x_7 is a sailor. It is cold. Therefore John is not cooking.
P(a) -> ~p. forall x: Q(x) <-> P(x). p. Therefore ~Q(a).