Translate the following inference to logic notation: For all x, x_12 will listen to a song and x_12 is an artist. Therefore Joseph is listening to a song or it is sunny.
forall x: P(x) and Q(x). Therefore P(a) or p.