Consider the following premises. Jessica is drinking water. Mary is not reading a book or it is late. Mary is reading a book. If Thomas were fast, then Jessica is not drinking water. Can we infer the following from them? If we can, name the inference rule being used: It is late.
 From the fact that Mary is reading a book we can infer that Mary is reading a book or Thomas is fast via addition. From the fact that if Thomas were fast, then Jessica is not drinking water, and that Jessica is drinking water we can infer that Thomas is not fast via modus tollens. From the fact that Mary is reading a book or Thomas is fast, and that Mary is not reading a book or it is late we can infer that Thomas is fast or it is late via resolution. Finally, from the fact that Thomas is fast or it is late, and that Thomas is not fast we can infer that it is late via disjunctive syllogism. Therefore, the answer is yes.