Translate the following inference to logic notation: It is late. For all x, x will not drive a car. If it is late, then Jennifer is driving a car. Therefore it is sunny.
p. forall x: ~P(x). p -> P(a). Therefore q.