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