Consider the following premises. q -> ~w. w. q or ~q_7. Can we infer ~q_7 from them?
 From q or ~q_7 we can infer q_7 -> q. From q -> ~w, w we can infer ~q. Finally, from q_7 -> q, ~q we can infer ~q_7. Therefore, the answer is yes.