Consider the following premises. If Barbara were an astronaut, then Linda is making tea. Susan is not a police officer or Barbara is an astronaut. Susan is a police officer. If Robert were happy, then Linda is making tea. Can we infer the following from them? If we can, name the inference rule being used: Linda is making tea or it is cloudy.
 From the fact that Susan is a police officer we can infer that Susan is a police officer or Robert is happy via addition. From the fact that Susan is a police officer or Robert is happy, and that Susan is not a police officer or Barbara is an astronaut we can infer that Robert is happy or Barbara is an astronaut via resolution. From the fact that if Robert were happy, then Linda is making tea, that if Barbara were an astronaut, then Linda is making tea, and that Robert is happy or Barbara is an astronaut we can infer that Linda is making tea via disjunction elimination. Finally, from the fact that Linda is making tea we can infer that Linda is making tea or it is cloudy via addition. Therefore, the answer is yes.