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