Consider the following premises. For all x_17, x_17 is a sailor if and only if x_17 will play squash. For all x_17, x_17 is a sailor or x_17 will listen to a song. For all x_17, x_17 will not play squash. Elisabeth is playing a game. Can we infer the following from them? If Joseph listens to a song, then Elisabeth is playing a game.
We cannot infer that from the premises. Therefore the answer is no.