Translate the following inference to logic notation: For all x, if x_3 were a lawyer, then x_3 is not drinking water. John is a lawyer if and only if David is a server. For all x, x_3 will drink water. Therefore David is not a server.
forall x: P(x) -> ~Q(x). P(a) <-> p. forall x: Q(x). Therefore ~p.