In the source conditional example, what does “but Zayd is human” do?

Proof: Syllogism, Induction, Analogy and the Four Figures

• Affirms the antecedent
• Denies the consequent
• Deletes a middle term
• Affirms the contradictory of the conclusion