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