Consider the following premises. For all x, if x takes a plane, then x is not a police officer. For all x, x will take a plane or x will not go running. There is at least one x for which x is a police officer. Can we infer the following from them? If we can, name the inference rule being used: There is at least one x for which x will not go running.
 From the fact that for all x, if x takes a plane, then x is not a police officer, and that there is at least one x for which x is a police officer we can infer that there is at least one x for which x will not take a plane via existential modus tollens. From the fact that for all x, x will take a plane or x will not go running we can infer that for all x, if x goes running, then x is taking a plane via universal rewriting. Finally, from the fact that for all x, if x goes running, then x is taking a plane, and that there is at least one x for which x will not take a plane we can infer that there is at least one x for which x will not go running via existential modus tollens. Therefore, the answer is yes.