Translate the following inference to logic notation: If David plays squash, then Richard is not working. It is sunny or Barbara is a server. Richard is working. It is not sunny. Therefore David is not playing squash and Barbara is a server.
p -> ~q. r or s. q. ~r. Therefore ~p and s.