Consider the following premises. If it is overcast, then David is playing squash. If William reads a book, then it is overcast. William is reading a book or David is not playing squash. Can we infer the following from them? If we can, name the inference rule being used: If David plays squash, then William is reading a book.
 From the fact that if William reads a book, then it is overcast, and that if it is overcast, then David is playing squash we can infer that if William reads a book, then David is playing squash via transitivity. Finally, from the fact that William is reading a book or David is not playing squash we can infer that if David plays squash, then William is reading a book via rewriting. Therefore, the answer is yes.