Consider the following premises. For all x_12, x_12 is a server or x_12 will not listen to a song. For all x_12, if x_12 were a server, then x_12 is listening to a song. If John were a server, then Michael is playing squash. Can we infer the following from them? The fact that John listens to a song does not imply that Michael is playing squash.
That contradicts the premises. Therefore the answer is no.