Consider the following premises. t <-> q. q <-> r. t or r. Can we infer q from them?
 From t <-> q we can infer t -> q. From q <-> r we can infer r -> q. Finally, from t -> q, r -> q, t or r we can infer q. Therefore, the answer is yes.