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