Consider the following premises. It is cold. It is overcast. Can we infer the following from them? If we can, name the inference rule being used: It is cold or it is cloudy.
 From the fact that it is cold, and that it is overcast we can infer that it is cold and it is overcast via conjunction. From the fact that it is cold and it is overcast we can infer that it is cold via simplification. Finally, from the fact that it is cold we can infer that it is cold or it is cloudy via addition. Therefore, the answer is yes.