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