Consider the following premises. u_1 -> p_1. forall z: R(z) -> W(z). p_1 -> R(g_2). Can we infer u_1 -> W(g_2) from them?
 From forall z: R(z) -> W(z) we can infer R(g_2) -> W(g_2). From p_1 -> R(g_2), R(g_2) -> W(g_2) we can infer p_1 -> W(g_2). Finally, from u_1 -> p_1, p_1 -> W(g_2) we can infer u_1 -> W(g_2). Therefore, the answer is yes.