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