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