Consider the following premises. For all x, if x makes tea, then x is listening to a song. For all x, if x listens to a song, then x is taking a plane. For all x, if x listens to a song, then x is making tea. For all x, x will not take a plane. Can we infer the following from them? For all x, x will not make tea.
 From the fact that for all x, if x listens to a song, then x is taking a plane, and that for all x, x will not take a plane we can infer that for all x, x will not listen to a song. From the fact that for all x, if x listens to a song, then x is making tea, and that for all x, if x makes tea, then x is listening to a song we can infer that for all x, x will listen to a song if and only if x will make tea. Finally, from the fact that for all x, x will listen to a song if and only if x will make tea, and that for all x, x will not listen to a song we can infer that for all x, x will not make tea. Therefore, the answer is yes.