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