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