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