Consider the following premises. r -> R_15(a). p_1 -> r. s -> p_1. S_15(a) -> u. forall x_15: R_15(x_15) -> S_15(x_15). Can we infer s from them?
We cannot infer that from the premises. Therefore the answer is no.