What follows from “All horses are animals; no horse is a bird”?

The Third Figure: Conditions and Six Productive Moods