Translate the following inference to logic notation: If William drives a car, then Susan is an office clerk. For all x, if x_5 were a taxi driver, then x_5 is driving a car. Therefore if William were a taxi driver, then Susan is an office clerk.
P(a) -> p. forall x: Q(x) -> P(x). Therefore Q(a) -> p.