Consider the following premises. For all x_15, x_15 will write a letter or x_15 will not listen to a song. There is at least one x_15 for which if x_15 writes a letter, then x_15 is working. For all x_15, if x_15 works, then x_15 is taking a plane. For all x_15, if x_15 works, then x_15 is writing a letter. Can we infer the following from them? For all x_15, the fact that x_15 listens to a song does not imply that x_15 is taking a plane.
That contradicts the premises. Therefore the answer is no.