Translate the following inference to logic notation: Linda is a sailor if and only if it is cloudy. If John makes tea, then it is windy. It is cloudy if and only if it is windy. Linda is not a sailor. Therefore John is not making tea.
p <-> q. r -> s. q <-> s. ~p. Therefore ~r.