Translate the following inference to logic notation: Jennifer is drinking water or Elisabeth is sad. It is sunny or Jennifer is not drinking water. If Elisabeth were sad, then it is sunny. Therefore it is sunny or it is raining.
p or q. r or ~p. q -> r. Therefore r or s.