Consider the following premises. s_3 <-> t. s_3 -> q. q -> t. Can we infer s_3 -> t from them? If possible, name the inference rules being used at each step.
We can infer s_3 -> t via the transitivity rule. Therefore, the answer is yes.