Consider the following premises. p_4 -> S_22(d). q_2 or ~S_22(d). p_4 or R_22(d). q -> q_2. forall x_22: R_22(x_22) -> S_22(x_22). Can we infer s from them?
We cannot infer that from the premises. Therefore the answer is no.