Consider the following premises. S_12(a_12) -> r_4. r_4 -> q. forall x_12: T(x_12) or S_12(x_12). T(a_12) -> r_4. Can we infer p_4 from them?
We cannot infer that from the premises. Therefore the answer is no.