Consider the following premises. For all z, if z listens to a song, then z is sleeping. For all z, z will sleep or z is not a poet. For all z, z is a poet. Can we infer the following from them? For all z, z will sleep.
 From the fact that for all z, z will sleep or z is not a poet we can infer that for all z, if z were a poet, then z is sleeping. From the fact that for all z, z is a poet we can infer that for all z, z is a poet or z will listen to a song. Finally, from the fact that for all z, if z were a poet, then z is sleeping, that for all z, if z listens to a song, then z is sleeping, and that for all z, z is a poet or z will listen to a song we can infer that for all z, z will sleep. Therefore, the answer is yes.