Consider the following premises. T_4(d_3). forall z_1: ~T_4(z_1). Can we infer p from them? If possible, name the inference rules being used at each step.
 From forall z_1: ~T_4(z_1) we can infer ~T_4(d_3) via universal instantiation. From T_4(d_3) we can infer T_4(d_3) or p via addition. Finally, from T_4(d_3) or p, ~T_4(d_3) we can infer p via disjunctive syllogism. Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.