What follows from “All C are B; no A is B”?

The Second Figure: Conditions of Validity and Four Productive Moods