Consider the following premises. For all x, x is an office clerk or x is not a police officer. There is at least one x for which x is a police officer or x is not an office clerk. Can we infer the following from them? There is at least one x for which if x were an office clerk, then x is a police officer.
Yes.