Translate the following inference to logic notation: If Jennifer plays tennis, then it is late. For all x, x_7 will play tennis or x_7 is not a mechanic. Therefore if Jennifer were a mechanic, then it is late.
P(a) -> p. forall x: P(x) or ~Q(x). Therefore Q(a) -> p.