Consider the following premises. For all y, if y sleeps, then y is poor. For all y, if y sleeps, then y is poor. There is at least one y for which if y were poor, then y is sleeping. Can we infer the following from them? There is at least one y for which y will sleep if and only if y is poor.
Yes.