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