Translate the following inference to logic notation: Richard is reading a book or it is overcast. For all x, x_20 will not play tennis. For all x, x_20 will play tennis or x_20 will drink water. Richard is not reading a book. Therefore Charles is drinking water and it is overcast.
p or q. forall x: ~P(x). forall x: P(x) or Q(x). ~p. Therefore Q(a) and q.