Translate the following inference to logic notation: For all x, if x_12 drives a car, then x_12 is a lawyer. For all x, if x_12 were a lawyer, then x_12 is driving a car. Richard is a janitor. Jessica is not driving a car. Therefore Jessica is not a lawyer and Richard is a janitor.
forall x: P(x) -> Q(x). forall x: Q(x) -> P(x). p. ~P(a). Therefore ~Q(a) and p.