Consider the following premises. q_3 <-> q. t_2 <-> r. ~t_2. q <-> r. Can we infer q_3 from them?
 From t_2 <-> r, ~t_2 we can infer ~r. From q <-> r, ~r we can infer ~q. Finally, from q_3 <-> q, ~q we can infer ~q_3, which contradicts q_3. Therefore, the answer is no.