Translate the following inference to logic notation: For all x, if x_10 were a taxi driver, then x_10 is rich. If Susan were rich, then James is driving a car. If James drives a car, then Susan is a taxi driver. Therefore Susan is rich if and only if James is driving a car.
forall x: P(x) -> Q(x). Q(a) -> p. p -> P(a). Therefore Q(a) <-> p.