Translate the following inference to logic notation: If Susan doesn't sleep, then it is cloudy. If Susan sleeps, then Mary is not a soldier. For all x, x is a soldier. Therefore it is cloudy.
~p -> q. p -> ~P(a). forall x: P(x). Therefore q.