Consider the following premises. For all x_6, x_6 will not play squash. For all x_6, x_6 is a bartender or x_6 will take a plane. For all x_6, if x_6 were a bartender, then x_6 is playing squash. Can we infer the following from them? There is at least one y for which y will take a plane.
 From the fact that for all x_6, if x_6 were a bartender, then x_6 is playing squash, and that for all x_6, x_6 will not play squash we can infer that for all x_6, x_6 is not a bartender. From the fact that for all x_6, x_6 is a bartender or x_6 will take a plane, and that for all x_6, x_6 is not a bartender we can infer that for all x_6, x_6 will take a plane. From the fact that for all x_6, x_6 will take a plane we can infer that Elisabeth is taking a plane. Finally, from the fact that Elisabeth is taking a plane we can infer that there is at least one y for which y will take a plane. Therefore, the answer is yes.