Consider the following premises. If Thomas were a taxi driver, then Richard is bored. Charles is sleeping. Richard is not bored or it is late. If Charles sleeps, then Thomas is a taxi driver. Can we infer the following from them? If we can, name the inference rule being used: James is running or it is late.
 From the fact that if Charles sleeps, then Thomas is a taxi driver, and that if Thomas were a taxi driver, then Richard is bored we can infer that if Charles sleeps, then Richard is bored via transitivity. From the fact that if Charles sleeps, then Richard is bored, and that Charles is sleeping we can infer that Richard is bored via modus ponens. From the fact that Richard is bored we can infer that Richard is bored or James is running via addition. Finally, from the fact that Richard is bored or James is running, and that Richard is not bored or it is late we can infer that James is running or it is late via resolution. Therefore, the answer is yes.