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