Consider the following premises. For all z, if z listens to a song, then z is working. For all z, if z works, then z is listening to a song. For all z, if z works, then z is listening to a song. Can we infer the following from them? If we can, name the inference rule being used: The fact that David works does not imply that David is listening to a song.
That contradicts the premises. Therefore the answer is no.