Translate the following inference to logic notation: It is cloudy. If it rains, then it is not cloudy. For all x, x will climb a mountain. Therefore it is not raining.
p. q -> ~p. forall x: P(x). Therefore ~q.