Translate the following inference to logic notation: For all x, if x drives a car, then x is taking a plane. If Susan doesn't take a plane, then Patricia is a lawyer. For all x, if x takes a plane, then x is driving a car. Susan is not driving a car. Therefore Patricia is a lawyer.
forall x: P(x) -> Q(x). ~Q(a) -> p. forall x: Q(x) -> P(x). ~P(a). Therefore p.