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