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