Consider the following premises. p_1 <-> R(e). T(e) or p_1. forall x: T(x) -> R(x). Can we infer R(e) from them?
 From forall x: T(x) -> R(x) we can infer T(e) -> R(e). From p_1 <-> R(e) we can infer p_1 -> R(e). Finally, from T(e) -> R(e), p_1 -> R(e), T(e) or p_1 we can infer R(e). Therefore, the answer is yes.