Translate the following inference to logic notation: For all x, if x drinks water, then x is a server. Jessica is driving a car. If Thomas were a server, then Jessica is not driving a car. Therefore Thomas is not drinking water.
forall x: P(x) -> Q(x). p. Q(a) -> ~p. Therefore ~P(a).