Consider the following premises. p_2 or ~Q(i_4). T(i_4) -> p_2. forall x: T(x) or Q(x). Can we infer p_2 from them?
 From forall x: T(x) or Q(x) we can infer T(i_4) or Q(i_4). From p_2 or ~Q(i_4) we can infer Q(i_4) -> p_2. Finally, from T(i_4) -> p_2, Q(i_4) -> p_2, T(i_4) or Q(i_4) we can infer p_2. Therefore, the answer is yes.