Translate the following inference to logic notation: Richard is taking a plane or it is sunny. If James makes tea, then it is not cold. If Richard takes a plane, then it is cold. It is cold or it is not sunny. Therefore James is not making tea.
p or q. r -> ~s. p -> s. s or ~q. Therefore ~r.