Translate the following inference to logic notation: If Robert writes a letter, then Richard is poor. Richard is not poor. It is cold and William is a server. Therefore it is cold and Robert is not writing a letter.
p -> q. ~q. r and s. Therefore r and ~p.