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