Consider the following premises. For all x, x is a bartender. There is at least one x for which if x plays tennis, then x is not a bartender. Can we infer the following from them? There is at least one x for which x will not play tennis.
Yes.