Consider the following premises. It is not snowing or it is sunny. If it is sunny, then Michael is a writer. Robert is not a police officer or Michael is driving a car. Michael is driving a car if and only if Michael is a writer. Robert is a police officer or it is snowing. Can we infer the following from them? If we can, name the inference rule being used: Michael is not a writer.
 From the fact that Michael is driving a car if and only if Michael is a writer we can infer that if Michael drives a car, then Michael is a writer via biconditional elimination. From the fact that Robert is a police officer or it is snowing, and that Robert is not a police officer or Michael is driving a car we can infer that it is snowing or Michael is driving a car via resolution. From the fact that it is snowing or Michael is driving a car, and that it is not snowing or it is sunny we can infer that Michael is driving a car or it is sunny via resolution. Finally, from the fact that if Michael drives a car, then Michael is a writer, that if it is sunny, then Michael is a writer, and that Michael is driving a car or it is sunny we can infer that Michael is a writer via disjunction elimination, which contradicts that Michael is not a writer. Therefore, the answer is no.