Consider the following premises. For all x, if x were a writer, then x is happy. For all x, x is a writer or x is a poet. For all x, if x were a poet, then x is happy. Can we infer the following from them? For all x, x is happy.
Yes.