Consider the following premises. If Jessica reads a book, then Jessica is excited. If James were a politician, then Jessica is excited. If Jessica were excited, then James is a politician. Jessica is reading a book or James is a politician. Can we infer the following from them? If we can, name the inference rule being used: Jessica is not excited.
 From the fact that if Jessica were excited, then James is a politician, and that if James were a politician, then Jessica is excited we can infer that Jessica is excited if and only if James is a politician via biconditional introduction. From the fact that Jessica is excited if and only if James is a politician we can infer that if James were a politician, then Jessica is excited via biconditional elimination. Finally, from the fact that if Jessica reads a book, then Jessica is excited, that if James were a politician, then Jessica is excited, and that Jessica is reading a book or James is a politician we can infer that Jessica is excited via disjunction elimination, which contradicts that Jessica is not excited. Therefore, the answer is no.