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