Consider the following premises. Charles is not an office clerk or it is snowing. Charles is not working. For all x, x will work or x is an office clerk. Can we infer the following from them? If we can, name the inference rule being used: Joseph is driving a car or it is snowing.
 From the fact that for all x, x will work or x is an office clerk we can infer that Charles is working or Charles is an office clerk via universal instantiation. From the fact that Charles is working or Charles is an office clerk, and that Charles is not working we can infer that Charles is an office clerk via disjunctive syllogism. From the fact that Charles is an office clerk we can infer that Charles is an office clerk or Joseph is driving a car via addition. Finally, from the fact that Charles is an office clerk or Joseph is driving a car, and that Charles is not an office clerk or it is snowing we can infer that Joseph is driving a car or it is snowing via resolution. Therefore, the answer is yes.