Consider the following premises. There is at least one x for which x is not a bartender. For all x, x is a bartender or x will climb a mountain. Can we infer the following from them? There is at least one x for which x will climb a mountain.
Yes.