Translate the following inference to logic notation: It is windy or Barbara is an electrician. For all x, x_17 is not an electrician. If Jennifer drinks water, then it is not cloudy. It is not windy or it is cloudy. Therefore Jennifer is not drinking water.
p or P(a). forall x: ~P(x). q -> ~r. ~p or r. Therefore ~q.