Consider the following premises. ~q_1. q_11 -> p_11. q_1 <-> p_11. p_11 -> q_11. Can we infer q_11 from them?
 From p_11 -> q_11, q_11 -> p_11 we can infer p_11 <-> q_11. From q_1 <-> p_11 we can infer p_11 -> q_1. From p_11 -> q_1, ~q_1 we can infer ~p_11. Finally, from p_11 <-> q_11, ~p_11 we can infer ~q_11, which contradicts q_11. Therefore, the answer is no.