Consider the following premises. For all x, x will write a letter or x is a police officer. There is at least one x for which x will not write a letter. Can we infer the following from them? There is at least one x for which x is a police officer.
Yes.