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