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