Translate the following inference to logic notation: If Robert drinks water, then it is sunny. For all x, x_24 is not rich. Jessica is a bartender. Karen is rich or it is not sunny. Therefore Robert is not drinking water and Jessica is a bartender.
p -> q. forall x: ~P(x). r. P(a) or ~q. Therefore ~p and r.