Translate the following inference to logic notation: If John sleeps, then Karen is a sailor. If it is windy, then it is cold. If it is cold, then Karen is a sailor. If Karen were a sailor, then John is sleeping. For all x, x will not sleep. Therefore it is not windy.
P(a) -> p. q -> r. r -> p. p -> P(a). forall x: ~P(x). Therefore ~q.