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