Translate the following inference to logic notation: For all x, x_7 is a server if and only if x_7 will play squash. For all x, x will play a game. If Thomas were a server, then Mary is not playing a game. Therefore Thomas is not playing squash.
forall x: P(x) <-> Q(x). forall x: R(x). P(a) -> ~R(b). Therefore ~Q(a).