Consider the following premises. U(e) -> s_4. forall x_2: U(x_2) -> P(x_2). forall x_2: P(x_2) -> U(x_2). Can we infer ~(P(e) -> s_4) from them?
That contradicts the premises. Therefore the answer is no.