Consider the following premises. forall x_11: P_11(x_11) or Q_3(x_11). forall x_11: ~Q_3(x_11). forall x_11: ~P_11(x_11) or S_2(x_11). forall x_11: R(x_11). Can we infer ~R(a) from them?
That contradicts the premises. Therefore the answer is no.