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