Translate the following inference to logic notation: For all x, y will drive a car. If Charles were poor, then Mary is not a taxi driver. Mary is a taxi driver. Therefore Charles is not poor and Jennifer is driving a car.
forall x: P(x). p -> ~q. q. Therefore ~p and P(a).