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