Consider the following premises. If David were an artist, then Jennifer is driving a car. David is an artist. If Jennifer drives a car, then David is an artist. Can we infer the following from them? If we can, name the inference rule being used: Jennifer is not driving a car.
 From the fact that if Jennifer drives a car, then David is an artist, and that if David were an artist, then Jennifer is driving a car we can infer that Jennifer is driving a car if and only if David is an artist via biconditional introduction. From the fact that Jennifer is driving a car if and only if David is an artist we can infer that if David were an artist, then Jennifer is driving a car via biconditional elimination. Finally, from the fact that if David were an artist, then Jennifer is driving a car, and that David is an artist we can infer that Jennifer is driving a car via modus ponens, which contradicts that Jennifer is not driving a car. Therefore, the answer is no.