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