Translate the following inference to logic notation: For all x, x_15 will play tennis or x_15 will not play squash. For all x, x_15 will not play tennis. For all x, x_15 will play squash if and only if x_15 is poor. Thomas is poor if and only if Joseph is driving a car. Therefore Joseph is not driving a car.
forall x: P(x) or ~Q(x). forall x: ~P(x). forall x: Q(x) <-> R(x). R(a) <-> p. Therefore ~p.