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