Translate the following inference to logic notation: Jennifer is not a poet. If Jennifer were not a taxi driver, then Jessica is climbing a mountain. For all x, if x_14 were a taxi driver, then x_14 is a poet. Therefore Jessica is climbing a mountain.
~P(a). ~Q(a) -> p. forall x: Q(x) -> P(x). Therefore p.