Consider the following premises. p_1 -> s. s -> p_1. ~p_1. Can we infer ~s from them?
 From p_1 -> s, s -> p_1 we can infer p_1 <-> s. Finally, from p_1 <-> s, ~p_1 we can infer ~s. Therefore, the answer is yes.