Consider the following premises. ~q_6. q or ~p. q -> q_6. Can we infer ~p from them? If possible, name the inference rules being used at each step.
 From q -> q_6, ~q_6 we can infer ~q via modus tollens. From q or ~p we can infer p -> q via rewriting. Finally, from p -> q, ~q we can infer ~p via modus tollens. Therefore, the answer is yes.