Translate the following inference to logic notation: There is at least one x for which x_5 will not play tennis or x_5 will play a game. For all x, x_5 will play tennis and x_5 will play squash. Therefore there is at least one x for which x_5 will listen to a song or x_5 will play a game.
exists x: ~P(x) or Q(x). forall x: P(x) and R(x). Therefore exists x: S(x) or Q(x).