Translate the following inference to logic notation: For all x, x_12 will work if and only if x_12 will play a game. If James plays a game, then Elisabeth is a server. For all x, x_10 is not a server. Therefore James is not working.
forall x: P(x) <-> Q(x). Q(a) -> R(b). forall x: ~R(x). Therefore ~P(a).