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