Translate the following inference to logic notation: It is windy. If Richard were a carpenter, then it is not windy. For all x, x_9 is rich. Therefore Richard is not a carpenter and Susan is rich.
p. q -> ~p. forall x: P(x). Therefore ~q and P(a).