Translate the following inference to logic notation: If Joseph plays squash, then David is writing a letter. If John were a server, then Joseph is playing squash. If Joseph plays squash, then John is a server. Therefore if John were a server, then David is writing a letter.
p -> q. r -> p. p -> r. Therefore r -> q.