Consider the following premises. S(e) -> p. p -> U_3(e). forall y_3: U_3(y_3) -> S(y_3). Can we infer p -> S(e) from them?
 From forall y_3: U_3(y_3) -> S(y_3) we can infer U_3(e) -> S(e). Finally, from p -> U_3(e), U_3(e) -> S(e) we can infer p -> S(e). Therefore, the answer is yes.