Translate the following inference to logic notation: For all x, x_8 is not a politician or x_8 will drink water. For all x, x_8 is a politician or x_8 is an artist. Elisabeth is not an artist or Michael is driving a car. Elisabeth is not drinking water. Therefore Michael is driving a car.
forall x: ~P(x) or Q(x). forall x: P(x) or R(x). ~R(a) or p. ~Q(a). Therefore p.