Translate the following inference to logic notation: It is not raining. Elisabeth is drinking water. It is raining. Therefore Elisabeth is drinking water and Charles is a janitor.
~p. q. p. Therefore q and r.