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