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