Consider the following premises. forall x_4: P(x_4). forall x: T_3(x). Can we infer T_3(j) and P(e) from them?
 From forall x: T_3(x) we can infer T_3(j). From forall x_4: P(x_4) we can infer P(e). Finally, from T_3(j), P(e) we can infer T_3(j) and P(e). Therefore, the answer is yes.