Translate the following inference to logic notation: If Jennifer were a writer, then Jennifer is driving a car. For all x, if x_7 drives a car, then x_7 is a writer. Jennifer is not driving a car. Therefore Jennifer is not a writer.
P(a) -> Q(a). forall x: Q(x) -> P(x). ~Q(a). Therefore ~P(a).