Consider the following premises. If it is cold, then it is late. Joseph is not driving a car or it is cold. Richard is curious or Joseph is driving a car. Richard is not curious or it is snowing. If it snows, then it is late. Can we infer the following from them? If we can, name the inference rule being used: It is late.
 From the fact that Richard is curious or Joseph is driving a car, and that Richard is not curious or it is snowing we can infer that Joseph is driving a car or it is snowing via resolution. From the fact that Joseph is driving a car or it is snowing, and that Joseph is not driving a car or it is cold we can infer that it is snowing or it is cold via resolution. Finally, from the fact that if it snows, then it is late, that if it is cold, then it is late, and that it is snowing or it is cold we can infer that it is late via disjunction elimination. Therefore, the answer is yes.