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