Consider the following premises. It is raining or it is not snowing. Can we infer the following from them? If we can, name the inference rule being used: If it snows, then it is raining.
We can infer this via the rewriting rule. Therefore, the answer is yes.