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