Translate the following inference to logic notation: For all x, x_10 is rich or x_10 will play tennis. If it is cloudy, then Mary is listening to a song. If Linda plays tennis, then it is cloudy. If Linda drives a car, then Mary is listening to a song. For all x, x_10 is not rich or x_10 will drive a car. Therefore Mary is listening to a song.
forall x: P(x) or Q(x). p -> q. Q(a) -> p. R(a) -> q. forall x: ~P(x) or R(x). Therefore q.