Consider the following premises. David is a cashier or Jessica is driving a car. It is not cold. David is a cashier if and only if it is cold. Can we infer the following from them? If we can, name the inference rule being used: Jessica is not driving a car.
 From the fact that David is a cashier if and only if it is cold, and that it is not cold we can infer that David is not a cashier via biconditional elimination. Finally, from the fact that David is a cashier or Jessica is driving a car, and that David is not a cashier we can infer that Jessica is driving a car via disjunctive syllogism, which contradicts that Jessica is not driving a car. Therefore, the answer is no.