Translate the following inference to logic notation: It is not windy. William is writing a letter if and only if it is windy. If William writes a letter, then it is windy. If William doesn't write a letter, then Susan is climbing a mountain. Therefore Susan is climbing a mountain.
~p. q <-> p. q -> p. ~q -> r. Therefore r.