Consider the following premises. forall z_1: ~T_4(z_1). T_4(d_3). Can we infer p from them?
 From forall z_1: ~T_4(z_1) we can infer ~T_4(d_3). From T_4(d_3) we can infer T_4(d_3) or p. Finally, from T_4(d_3) or p, ~T_4(d_3) we can infer p. Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.