Consider the following premises. For all x_20, x_20 is not sad. For all x_20, x_20 is sad or x_20 will play tennis. For all x_20, if x_20 works, then x_20 is not playing tennis. If James listens to a song, then John is working. Can we infer the following from them? James is listening to a song.
 From the fact that for all x_20, x_20 is sad or x_20 will play tennis, and that for all x_20, x_20 is not sad we can infer that for all x_20, x_20 will play tennis. From the fact that for all x_20, if x_20 works, then x_20 is not playing tennis, and that for all x_20, x_20 will play tennis we can infer that for all x_20, x_20 will not work. From the fact that for all x_20, x_20 will not work we can infer that John is not working. Finally, from the fact that if James listens to a song, then John is working, and that John is not working we can infer that James is not listening to a song, which contradicts that James is listening to a song. Therefore, the answer is no.