Translate the following inference to logic notation: It is late or Sarah is not drinking water. It is snowing or Sarah is drinking water. It is late or it is not snowing. Therefore it is late.
p or ~q. r or q. p or ~r. Therefore p.