Translate the following inference to logic notation: For all x, x_3 is not sad. Elisabeth is sad if and only if Susan is driving a car. It is cloudy. Therefore Susan is not driving a car.
forall x: ~P(x). P(a) <-> p. q. Therefore ~p.