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