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