Consider the following premises. It is late. If Charles reads a book, then Susan is making tea. If Susan makes tea, then Charles is reading a book. Susan is making tea. Can we infer the following from them? If we can, name the inference rule being used: Charles is reading a book.
 From the fact that Susan is making tea, and that it is late we can infer that Susan is making tea and it is late via conjunction. From the fact that if Charles reads a book, then Susan is making tea, and that if Susan makes tea, then Charles is reading a book we can infer that Charles is reading a book if and only if Susan is making tea via biconditional introduction. From the fact that Susan is making tea and it is late we can infer that Susan is making tea via simplification. From the fact that Charles is reading a book if and only if Susan is making tea we can infer that if Susan makes tea, then Charles is reading a book via biconditional elimination. Finally, from the fact that if Susan makes tea, then Charles is reading a book, and that Susan is making tea we can infer that Charles is reading a book via modus ponens. Therefore, the answer is yes.