Translate the following inference to logic notation: Susan is drinking water. For all x, x will sleep. If Karen were a nurse, then Susan is not drinking water. Therefore Karen is not a nurse and Joseph is sleeping.
p. forall x: P(x). q -> ~p. Therefore ~q and P(a).