Translate the following inference to logic notation: For all x, x_2 will drink water. If it is overcast, then Thomas is not drinking water. Therefore it is not overcast.
forall x: P(x). p -> ~P(a). Therefore ~p.