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