Translate the following inference to logic notation: It is not sunny. It is snowing or it is not cloudy. It is sunny if and only if it is snowing. Therefore it is not cloudy.
~p. q or ~r. p <-> q. Therefore ~r.