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