LIVRE II, CHAPITRE V

ne soit pas. Donc, B n'étant pas grand, il n'est pas possible que A soit blanc; mais, si, A n'étant pas blanc, il est nécessaire que B soit grand, il résulte, de toute nécessité, que, B n'étant pas grand , ce même B est grand : ce qui est absurde. Car, si B n'est pas grand, A nécessairement ne sera pas blanc. Si donc, A n'étant pas blanc, B est grand, il en résulte, comme avec les trois termes, que, si B n'est pas grand, ce même B est cependant grand.