Aristotle

“ We may suppose all C to be A. Then if all C is not B (for it is possible that all of a subject should be A, but none of it B) the conclusion will follow that B is not A. For if all A is C, and no B is C, then no B is A.
The same proof will be adopted if both terms are distributively predicable of a third. ”

“ That B need not be predicable of a subject of which A is distributively predicable, and conversely that A need not be predicable of a third term of which B is distributively predicable may be seen clearly from a consideration of those series of terms wherein no term of the one series can be interchanged with one in the other series. Thus if none of the terms in the series A, C, D are predicable of any in the series B, E, F ”