Translate the following inference to logic notation: It is cloudy or it is snowing. It is not cloudy. For all x, y_2 is a soldier. Therefore it is snowing and Elisabeth is a soldier.
p or q. ~p. forall x: P(x). Therefore q and P(a).