Translate the following inference to logic notation: If William drinks water, then Robert is playing tennis. For all x, x_11 is not fast. For all x, x_11 is fast or x_11 will not play tennis. Therefore William is not drinking water.
p -> P(a). forall x: ~Q(x). forall x: Q(x) or ~P(x). Therefore ~p.