Consider the following premises. For all x_11, x_11 is bored or x_11 is not poor. For all x_11, if x_11 listens to a song, then x_11 is poor. For all x_11, x_11 will listen to a song or x_11 is not bored. Can we infer the following from them? For all x_11, if x_11 were poor, then x_11 is bored.
Yes.