Translate the following inference to logic notation: Robert is fast. For all x, y will not go running. It is cloudy if and only if Karen is running. Therefore it is not cloudy and Robert is fast.
p. forall x: ~P(x). q <-> P(a). Therefore ~q and p.