Translate the following inference to logic notation: It is raining if and only if it is cold. It is not sunny. It is sunny or Richard is making tea. It is not cold. Therefore it is not raining and Richard is making tea.
p <-> q. ~r. r or s. ~q. Therefore ~p and s.