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