Consider the following premises. Richard is not a sailor or John is a musician. Richard is a sailor or it is sunny. Can we infer the following from them? If we can, name the inference rule being used: It is sunny or John is a musician.
We can infer this via the resolution rule. Therefore, the answer is yes.