Consider the following premises. r -> q. r or ~q. Can we infer q -> r from them? If possible, name the inference rules being used at each step.
We can infer q -> r via the rewriting rule. Therefore, the answer is yes.