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