Consider the following premises. ~R(b_3) or t. ~T(b_3). forall x_4: R(x_4) or T(x_4). Can we infer ~t from them?
 From forall x_4: R(x_4) or T(x_4) we can infer R(b_3) or T(b_3). From R(b_3) or T(b_3), ~R(b_3) or t we can infer T(b_3) or t. Finally, from T(b_3) or t, ~T(b_3) we can infer t, which contradicts ~t. Therefore, the answer is no.