Translate the following inference to logic notation: Karen is not playing squash. Karen is playing squash if and only if it is raining. For all x, x_18 will sleep. Therefore it is not raining and Sarah is sleeping.
~p. p <-> q. forall x: P(x). Therefore ~q and P(a).