Consider the following premises. Charles is not taking a plane. It is sunny if and only if Mary is reading a book. If it is sunny, then it is late. If it is late, then Charles is taking a plane. Can we infer the following from them? If we can, name the inference rule being used: Mary is reading a book.
 From the fact that if it is late, then Charles is taking a plane, and that Charles is not taking a plane we can infer that it is not late via modus tollens. From the fact that it is sunny if and only if Mary is reading a book we can infer that if Mary reads a book, then it is sunny via biconditional elimination. From the fact that if it is sunny, then it is late, and that it is not late we can infer that it is not sunny via modus tollens. Finally, from the fact that if Mary reads a book, then it is sunny, and that it is not sunny we can infer that Mary is not reading a book via modus tollens, which contradicts that Mary is reading a book. Therefore, the answer is no.