Consider the following premises. James is playing squash or John is not sleeping. John is sleeping. Can we infer the following from them? If we can, name the inference rule being used: James is playing squash.
 From the fact that James is playing squash or John is not sleeping we can infer that if John sleeps, then James is playing squash via rewriting. Finally, from the fact that if John sleeps, then James is playing squash, and that John is sleeping we can infer that James is playing squash via modus ponens. Therefore, the answer is yes.