Translate the following inference to logic notation: For all x, x is not a mechanic. Karen is a mechanic and Elisabeth is a taxi driver. Therefore Jennifer is happy.
forall x: ~P(x). P(a) and p. Therefore q.