Consider the following premises. For all x_15, if x_15 goes running, then x_15 is taking a plane. If Barbara cooks, then Barbara is a sailor. Barbara is not a sailor. If James takes a plane, then Barbara is cooking. Can we infer the following from them? If we can, name the inference rule being used: James is running.
 From the fact that for all x_15, if x_15 goes running, then x_15 is taking a plane we can infer that if James goes running, then James is taking a plane via universal instantiation. From the fact that if James goes running, then James is taking a plane, and that if James takes a plane, then Barbara is cooking we can infer that if James goes running, then Barbara is cooking via transitivity. From the fact that if Barbara cooks, then Barbara is a sailor, and that Barbara is not a sailor we can infer that Barbara is not cooking via modus tollens. Finally, from the fact that if James goes running, then Barbara is cooking, and that Barbara is not cooking we can infer that James is not running via modus tollens, which contradicts that James is running. Therefore, the answer is no.