will not be a syllogism, let the terms of being present be "substance," "animal," "man," and of not being present "substance," "animal," "stone," the middle term "substance." Nor will there then be a syllogism, when M is neither predicated of any N, nor of any O, let the terms of being present be "line," "animal," "man;" but of not being present, "line," "animal," "stone."
Hence it is evident, that if there is a syllogism when the terms are universal, the latter must necessarily be, as we said at the beginning, for if they are otherwise, no necessary (conclusion) follows. But if the middle be universal in respect to either extreme, when universal belongs to the major either affirmatively or negatively, but to the minor particularly, and in a manner opposite to the universal, (I mean by opposition, if the universal be negative, but the particular affirmative, or if the universal is affirmative, but the particular negative,) it is necessary that a particular negative syllogism should result. For if M is present with no N, but with a certain O, N must necessarily not be present with a certain O, for since a negative proposition is convertible, N will be present with no M, but M was by hypothesis present with a certain O, wherefore N will not be present with a certain O, for a syllogism is produced in the first figure.
Again, if M is present with every N, but not with a certain O, N must of necessity not be present with a certain O, for if it is present with every O, and M is predicated of every N,