Translate the following inference to logic notation: For all x, x_6 will read a book or x_6 will play tennis. If it snows, then Michael is driving a car. James is not reading a book or it is snowing. If James plays tennis, then Michael is driving a car. Therefore Michael is driving a car.
forall x: P(x) or Q(x). p -> q. ~P(a) or p. Q(a) -> q. Therefore q.