Translate the following inference to logic notation: If Jennifer plays tennis, then John is a carpenter. If John were a carpenter, then Richard is driving a car. If Richard were a writer, then Jennifer is playing tennis. For all x, if x_17 drives a car, then x_17 is a writer. Therefore if Richard drives a car, then Richard is a writer.
p -> q. q -> P(a). Q(a) -> p. forall x: P(x) -> Q(x). Therefore P(a) -> Q(a).