Consider the following premises. For all x_10, if x_10 plays a game, then x_10 is listening to a song. For all x_10, x_10 will make tea if and only if x_10 is happy. For all x_10, x_10 is excited. For all x_10, if x_10 makes tea, then x_10 is not excited. For all x_10, if x_10 were happy, then x_10 is playing a game. For all x_10, if x_10 listens to a song, then x_10 is happy. Can we infer the following from them? For all x_10, x_10 will not listen to a song.
 From the fact that for all x_10, if x_10 were happy, then x_10 is playing a game, and that for all x_10, if x_10 plays a game, then x_10 is listening to a song we can infer that for all x_10, if x_10 were happy, then x_10 is listening to a song. From the fact that for all x_10, if x_10 makes tea, then x_10 is not excited, and that for all x_10, x_10 is excited we can infer that for all x_10, x_10 will not make tea. From the fact that for all x_10, if x_10 were happy, then x_10 is listening to a song, and that for all x_10, if x_10 listens to a song, then x_10 is happy we can infer that for all x_10, x_10 is happy if and only if x_10 will listen to a song. From the fact that for all x_10, x_10 will make tea if and only if x_10 is happy, and that for all x_10, x_10 will not make tea we can infer that for all x_10, x_10 is not happy. Finally, from the fact that for all x_10, x_10 is happy if and only if x_10 will listen to a song, and that for all x_10, x_10 is not happy we can infer that for all x_10, x_10 will not listen to a song. Therefore, the answer is yes.