Translate the following inference to logic notation: If James were a nurse, then it is not cloudy. For all x, y_3 is curious. It is cloudy. Therefore James is not a nurse.
p -> ~q. forall x: P(x). q. Therefore ~p.