Translate the following inference to logic notation: It is not cold. If Sarah climbs a mountain, then it is cold. It is raining if and only if it is sunny. It is raining if and only if Sarah is climbing a mountain. Therefore it is not sunny.
~p. q -> p. r <-> s. r <-> q. Therefore ~s.