Translate the following inference to logic notation: James is playing squash if and only if it is raining. For all x, x_12 is bored if and only if x_12 will play squash. It is not raining. Therefore James is not bored.
P(a) <-> p. forall x: Q(x) <-> P(x). ~p. Therefore ~Q(a).