Consider the following premises. p_3 -> q_15. ~p_3 -> q_2. p_3 <-> q_15. ~q_15. Can we infer q_2 from them?
 From p_3 <-> q_15 we can infer q_15 -> p_3. From q_15 -> p_3, p_3 -> q_15 we can infer q_15 <-> p_3. From q_15 <-> p_3, ~q_15 we can infer ~p_3. Finally, from ~p_3 -> q_2, ~p_3 we can infer q_2. Therefore, the answer is yes.