Translate the following inference to logic notation: It is raining or it is snowing. If it rains, then Elisabeth is drinking water. Elisabeth is drinking water or it is not late. If it snows, then it is late. Therefore Elisabeth is drinking water.
p or q. p -> r. r or ~s. q -> s. Therefore r.