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