Translate the following inference to logic notation: If Susan were sad, then it is cold. Susan is not sad. Thomas is making tea if and only if it is cold. It is cold if and only if Susan is sad. Therefore Thomas is not making tea.
p -> q. ~p. r <-> q. q <-> p. Therefore ~r.