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