Consider the following premises. For all x, x will drink water or x will work. There is at least one x for which x will not drink water or x is a poet. Can we infer the following from them? There is at least one x for which x will work or x is a poet.
Yes.