Translate the following inference to logic notation: It is cold or Charles is not drinking water. If it is cold, then Patricia is playing squash. For all x, x_10 will not play squash. Therefore Charles is not drinking water.
p or ~q. p -> P(a). forall x: ~P(x). Therefore ~q.