Consider the following premises. ~W(a_12). t_2. forall x_3: W(x_3) or R(x_3). Can we infer R(a_12) and t_2 from them?
 From forall x_3: W(x_3) or R(x_3) we can infer W(a_12) or R(a_12). From W(a_12) or R(a_12), ~W(a_12) we can infer R(a_12). Finally, from R(a_12), t_2 we can infer R(a_12) and t_2. Therefore, the answer is yes.