Translate the following inference to logic notation: William is making tea if and only if James is a bartender. For all x, x_11 will make tea if and only if x_11 will drink water. For all x, if x_11 drinks water, then x_11 is not rich. For all x, x_11 is rich. Therefore James is not a bartender.
P(a) <-> p. forall x: P(x) <-> Q(x). forall x: Q(x) -> ~R(x). forall x: R(x). Therefore ~p.