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