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