Consider the following premises. For all y_3, if y_3 plays tennis, then y_3 is not working. Susan is working. Can we infer the following from them? For all y_3, y_3 will play tennis.
 From the fact that Susan is working we can infer that there is at least one y_3 for which y_3 will work. Finally, from the fact that for all y_3, if y_3 plays tennis, then y_3 is not working, and that there is at least one y_3 for which y_3 will work we can infer that there is at least one y_3 for which y_3 will not play tennis, which contradicts that For all y_3, y_3 will play tennis. Therefore, the answer is no.