Translate the following inference to logic notation: Karen is playing tennis if and only if it is cold. It is not cold. For all x, if x_2 were a nurse, then x_2 is playing tennis. Therefore Karen is not a nurse.
P(a) <-> p. ~p. forall x: Q(x) -> P(x). Therefore ~Q(a).