Consider the following premises. David is not making tea or Richard is a cashier. David is making tea or Patricia is an astronaut. Can we infer the following from them? If we can, name the inference rule being used: Patricia is an astronaut or Richard is a cashier.
We can infer this via the resolution rule. Therefore, the answer is yes.