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