Consider the following premises. r_2 -> q_2. ~S_11(j_1). r_2. forall x_11: R_11(x_11) <-> S_11(x_11). Can we infer q_2 -> ~R_11(j_1) from them?
We cannot infer that from the premises. Therefore the answer is no.