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