Translate the following inference to logic notation: For all x, x_9 is rich. It is not windy. It is cloudy if and only if it is windy. Therefore it is not cloudy and Sarah is rich.
forall x: P(x). ~p. q <-> p. Therefore ~q and P(a).