Translate the following inference to logic notation: If Sarah were a writer, then Charles is not drinking water. If it is late, then Charles is drinking water. It is late. Therefore Sarah is not a writer.
p -> ~q. r -> q. r. Therefore ~p.