Translate the following inference to logic notation: It is overcast. For all x, x_16 will drink water. For all x, x_16 is an artist or x_16 will work. For all x, if x_16 works, then x_16 is playing a game. For all x, if x_16 were an artist, then x_16 is playing a game. Therefore Patricia is drinking water and it is overcast.
p. forall x: P(x). forall x: Q(x) or R(x). forall x: R(x) -> S(x). forall x: Q(x) -> S(x). Therefore P(a) and p.