Translate the following inference to logic notation: For all x, x_7 is a taxi driver. For all x, if x_7 drinks water, then x_7 is not a taxi driver. Jessica is drinking water or Sarah is a lawyer. Therefore Sarah is a lawyer.
forall x: P(x). forall x: Q(x) -> ~P(x). Q(a) or p. Therefore p.