Consider the following premises. q_10. p -> ~q. q. Can we infer ~p from them?
 From q, q_10 we can infer q and q_10. From q and q_10 we can infer q. Finally, from p -> ~q, q we can infer ~p. Therefore, the answer is yes.