What kind of syllogism is “Zayd is human; every human is animal; therefore Zayd is animal”?

Proof: Syllogism, Induction, Analogy and the Four Figures