Translate the following inference to logic notation: It is not cold. If Barbara were a sailor, then James is making tea. If James makes tea, then Barbara is a sailor. It is cold if and only if Barbara is a sailor. Therefore James is not making tea.
~p. q -> r. r -> q. p <-> q. Therefore ~r.