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