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