Translate the following inference to logic notation: If Richard were a server, then Sarah is a writer. Sarah is not a writer. It is windy and Mary is playing squash. If Sarah were a writer, then Richard is a server. Therefore it is windy and Richard is not a server.
p -> q. ~q. r and s. q -> p. Therefore r and ~p.