Consider the following premises. forall x_4: Q_2(x_4) -> T(x_4). forall y: R(y) or S_1(y). forall y: R(y) -> Q_2(y). forall y: S_1(y) -> Q_2(y). Can we infer T(j) from them?
 From forall y: R(y) -> Q_2(y), forall y: S_1(y) -> Q_2(y), forall y: R(y) or S_1(y) we can infer forall y: Q_2(y). From forall y: Q_2(y) we can infer Q_2(j). From forall x_4: Q_2(x_4) -> T(x_4) we can infer Q_2(j) -> T(j). Finally, from Q_2(j) -> T(j), Q_2(j) we can infer T(j). Therefore, the answer is yes.