Translate the following inference to logic notation: If Michael plays squash, then Elisabeth is driving a car. For all x, x_10 will play squash or x_10 will drink water. Elisabeth is not driving a car. If Elisabeth drives a car, then Michael is playing squash. Therefore Michael is drinking water.
P(a) -> p. forall x: P(x) or Q(x). ~p. p -> P(a). Therefore Q(a).