Translate the following inference to logic notation: If it is sunny, then Richard is a poet. If John were a server, then it is sunny. Mary is a mechanic. If Richard were a poet, then Mary is not a mechanic. Therefore John is not a server.
p -> q. r -> p. s. q -> ~s. Therefore ~r.