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