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