Translate the following inference to logic notation: For all x, x_6 is not a poet or x_6 will listen to a song. Robert is not happy or Susan is a scientist. For all x, x_6 is a poet. Therefore Robert is listening to a song or Susan is a scientist.
forall x: ~P(x) or Q(x). ~R(a) or p. forall x: P(x). Therefore Q(a) or p.