Translate the following inference to logic notation: For all x, x_6 is not poor or x_6 will listen to a song. Thomas is not making tea or Richard is fast. For all x, x_6 is poor. Therefore Thomas is listening to a song or Richard is fast.
forall x: ~P(x) or Q(x). ~R(a) or p. forall x: P(x). Therefore Q(a) or p.