Translate the following inference to logic notation: Jennifer is drinking water. It is overcast or it is cloudy. Joseph is climbing a mountain if and only if it is overcast. If Joseph climbs a mountain, then Elisabeth is not a janitor. Elisabeth is a janitor. Therefore it is cloudy and Jennifer is drinking water.
p. q or r. s <-> q. s -> ~t. t. Therefore r and p.