Translate the following inference to logic notation: It is not windy. Sarah is reading a book if and only if Charles is a sailor. Sarah is not reading a book. It is windy if and only if Richard is climbing a mountain. Therefore Richard is not climbing a mountain.
~p. q <-> r. ~q. p <-> s. Therefore ~s.