Translate the following inference to logic notation: Karen is bored if and only if Karen is playing squash. For all x, x_10 is not bored. Therefore Karen is not playing squash.
P(a) <-> p. forall x: ~P(x). Therefore ~p.