Consider the following premises. It is snowing or it is not late. It is late and it is cloudy. Can we infer the following from them? If we can, name the inference rule being used: It is snowing.
 From the fact that it is snowing or it is not late we can infer that if it is late, then it is snowing via rewriting. From the fact that it is late and it is cloudy we can infer that it is late via simplification. Finally, from the fact that if it is late, then it is snowing, and that it is late we can infer that it is snowing via modus ponens. Therefore, the answer is yes.