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