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