Consider the following premises. If Barbara drives a car, then Charles is bored. For all x, x will drive a car or x will go running. Thomas is an office clerk if and only if Charles is bored. Thomas is not an office clerk. Can we infer the following from them? If we can, name the inference rule being used: Barbara is not running.
 From the fact that for all x, x will drive a car or x will go running we can infer that Barbara is driving a car or Barbara is running via universal instantiation. From the fact that Thomas is an office clerk if and only if Charles is bored, and that Thomas is not an office clerk we can infer that Charles is not bored via biconditional elimination. From the fact that if Barbara drives a car, then Charles is bored, and that Charles is not bored we can infer that Barbara is not driving a car via modus tollens. Finally, from the fact that Barbara is driving a car or Barbara is running, and that Barbara is not driving a car we can infer that Barbara is running via disjunctive syllogism, which contradicts that Barbara is not running. Therefore, the answer is no.