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