Consider the following premises. There is at least one x for which x is rich or x is not a janitor. For all x, if x were a soldier, then x is running. For all x, x will go running if and only if x is a janitor. Can we infer the following from them? There is at least one x for which if x were a soldier, then x is rich.
 From the fact that for all x, x will go running if and only if x is a janitor we can infer that for all x, if x goes running, then x is a janitor. From the fact that there is at least one x for which x is rich or x is not a janitor we can infer that there is at least one x for which if x were a janitor, then x is rich. From the fact that for all x, if x goes running, then x is a janitor, and that there is at least one x for which if x were a janitor, then x is rich we can infer that there is at least one x for which if x goes running, then x is rich. Finally, from the fact that for all x, if x were a soldier, then x is running, and that there is at least one x for which if x goes running, then x is rich we can infer that there is at least one x for which if x were a soldier, then x is rich. Therefore, the answer is yes.