Consider the following premises. For all y_1, y_1 will listen to a song. For all y_1, if y_1 were a mechanic, then y_1 is bored. There is at least one y_1 for which if y_1 were a bartender, then y_1 is bored. For all y_1, if y_1 listens to a song, then y_1 is a bartender. Can we infer the following from them? For all y_1, y_1 is not bored.
 From the fact that for all y_1, y_1 will listen to a song we can infer that for all y_1, y_1 will listen to a song or y_1 is a mechanic. From the fact that for all y_1, if y_1 listens to a song, then y_1 is a bartender, and that there is at least one y_1 for which if y_1 were a bartender, then y_1 is bored we can infer that there is at least one y_1 for which if y_1 listens to a song, then y_1 is bored. Finally, from the fact that there is at least one y_1 for which if y_1 listens to a song, then y_1 is bored, that for all y_1, if y_1 were a mechanic, then y_1 is bored, and that for all y_1, y_1 will listen to a song or y_1 is a mechanic we can infer that there is at least one y_1 for which y_1 is bored, which contradicts that For all y_1, y_1 is not bored. Therefore, the answer is no.