Consider the following premises. q_6 -> Q_2(c). R(c) -> q_6. forall x: Q_2(x) or R(x). Q_2(c) -> q_6. Can we infer q_6 from them?
 From forall x: Q_2(x) or R(x) we can infer Q_2(c) or R(c). From Q_2(c) -> q_6, q_6 -> Q_2(c) we can infer Q_2(c) <-> q_6. From Q_2(c) <-> q_6 we can infer Q_2(c) -> q_6. Finally, from Q_2(c) -> q_6, R(c) -> q_6, Q_2(c) or R(c) we can infer q_6. Therefore, the answer is yes.