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