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