Translate the following inference to logic notation: John is a soldier if and only if Susan is driving a car. If John plays a game, then Susan is driving a car. For all x, x_9 will play a game. Therefore Susan is driving a car.
P(a) <-> p. Q(a) -> p. forall x: Q(x). Therefore p.