Translate the following inference to logic notation: It is not cloudy. It is windy if and only if Susan is climbing a mountain. It is cloudy if and only if Susan is climbing a mountain. Therefore it is not windy.
~p. q <-> r. p <-> r. Therefore ~q.