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