Translate the following inference to logic notation: It is not sunny. It is sunny or it is not cloudy. It is sunny if and only if Mary is making tea. If Mary makes tea, then it is cloudy. Therefore it is not cloudy.
~p. p or ~q. p <-> r. r -> q. Therefore ~q.