Consider the following premises. forall x_5: R(x_5) or ~Q_5(x_5). forall x_5: R(x_5) -> Q_5(x_5). Can we infer ~(Q_5(j_3) -> R(j_3)) from them?
That contradicts the premises. Therefore the answer is no.