Consider the following premises. forall x: T_2(x) -> ~P_1(x). exists x: P_1(x). forall x: T_2(x). Can we infer forall x: ~W(x) from them?
The premises are contradictory and we can infer anything from them. Therefore, the answer is yes.