Translate the following inference to logic notation: James is not rich. If it rains, then James is not drinking water. For all x, x_12 is rich or x_12 will drink water. Therefore it is not raining.
~P(a). p -> ~Q(a). forall x: P(x) or Q(x). Therefore ~p.