Translate the following inference to logic notation: If Susan works, then John is making tea. If Richard were a writer, then Susan is working. If Susan were a poet, then John is making tea. Susan is not a poet. If John makes tea, then Susan is a poet. Therefore Richard is not a writer.
p -> q. r -> p. s -> q. ~s. q -> s. Therefore ~r.