Consider the following premises. forall x_26: W(x_26) -> T_4(x_26). forall x_26: P(x_26) -> W(x_26). forall x_26: P(x_26) or Q_26(x_26). r_2 and u. forall x_26: Q_26(x_26) -> W(x_26). Can we infer ~T_4(d_1) from them?
 From forall x_26: P(x_26) -> W(x_26), forall x_26: Q_26(x_26) -> W(x_26), forall x_26: P(x_26) or Q_26(x_26) we can infer forall x_26: W(x_26). From r_2 and u we can infer r_2. Finally, from forall x_26: W(x_26) -> T_4(x_26), forall x_26: W(x_26) we can infer forall x_26: T_4(x_26), which contradicts ~T_4(d_1). Therefore, the answer is no.