Consider the following premises. For all x_5, x_5 is poor. There is at least one x_5 for which if x_5 were curious, then x_5 is not playing tennis. For all x_5, x_5 will play tennis. Can we infer the following from them? There is at least one x_5 for which x_5 is not curious.
 From the fact that for all x_5, x_5 will play tennis, and that for all x_5, x_5 is poor we can infer that for all x_5, x_5 will play tennis and x_5 is poor. From the fact that for all x_5, x_5 will play tennis and x_5 is poor we can infer that for all x_5, x_5 will play tennis. Finally, from the fact that there is at least one x_5 for which if x_5 were curious, then x_5 is not playing tennis, and that for all x_5, x_5 will play tennis we can infer that there is at least one x_5 for which x_5 is not curious. Therefore, the answer is yes.