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