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