Translate the following inference to logic notation: It is late and Susan is climbing a mountain. If Richard plays squash, then William is a writer. Richard is playing squash. Therefore it is late and William is a writer.
p and q. r -> s. r. Therefore p and s.