Consider the following premises. If it is cold, then William is fast. William is not fast. Thomas is reading a book if and only if it is cold. Can we infer the following from them? If we can, name the inference rule being used: Thomas is not reading a book.
 From the fact that if it is cold, then William is fast, and that William is not fast we can infer that it is not cold via modus tollens. From the fact that Thomas is reading a book if and only if it is cold we can infer that if Thomas reads a book, then it is cold via biconditional elimination. Finally, from the fact that if Thomas reads a book, then it is cold, and that it is not cold we can infer that Thomas is not reading a book via modus tollens. Therefore, the answer is yes.