shown if both also are in a certain whole, but that it is possible that B may not be in the whole in which A is, or again A in which B is, is evident from those co-ordinations which do not interchange. For if none of those, which are in the class A C D, is predicated of any of those in B E F, but A is in the whole of H, which is co-arranged with it, it is evident that B will not be in H, for otherwise the co-ordinates would intermingle.
Likewise also if B is in a certain whole, but if neither is in any whole, and A is not present with B, it is necessary that it should not be present individually, for if there shall be a certain middle, one of them must necessarily be in a certain whole, for there will be a syllogism either in the first, or in the middle figure. If then it is in the first, B will be in a certain whole, (for it is necessary that the proposition in regard to this should be affirmative,) but if in the middle figure either of them may be (in the whole), for the negative being joined to both, there is a syllogism, but there will not be when both the propositions are negative.
It is manifestly possible then, that one thing may not be individually present with another, also when, and how this may happen, we have shown.
Chapter 16
The ignorance which is denominated not according to negation, but according to disposition,
