Consider the following premises. If Richard drives a car, then Michael is sleeping. Richard is driving a car or it is sunny. If it is sunny, then Michael is sleeping. Can we infer the following from them? If we can, name the inference rule being used: Michael is sleeping.
We can infer this via the disjunction elimination rule. Therefore, the answer is yes.