Consider the following premises. It is snowing or Susan is not reading a book. Susan is reading a book. Can we infer the following from them? If we can, name the inference rule being used: It is not snowing.
 From the fact that it is snowing or Susan is not reading a book we can infer that if Susan reads a book, then it is snowing via rewriting. Finally, from the fact that if Susan reads a book, then it is snowing, and that Susan is reading a book we can infer that it is snowing via modus ponens, which contradicts that It is not snowing. Therefore, the answer is no.