Translate the following inference to logic notation: William is a poet. It is late and Susan is curious. If William were a poet, then Richard is drinking water. Therefore Richard is drinking water.
p. q and r. p -> s. Therefore s.