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