Consider the following premises. r_3. q or ~r_3. p -> ~q. Can we infer p from them?
 From q or ~r_3 we can infer r_3 -> q. From r_3 -> q, r_3 we can infer q. Finally, from p -> ~q, q we can infer ~p, which contradicts p. Therefore, the answer is no.