t. II (PL 64)

671 AN. MANL. SEV. BOKTIIdia.Si autem alicui non inesse,cui quidem oportetnoD inesse.quaeoonsequitur: quod vero non inesse,quae non possibile est illi inesse. Si enim aliquid horumsitidem, necesse est alicui noninesse. Magisautem fortasse erit sic, unumquodque eorum quaedicla sunt manifestum. Sint enim sequentia quidema, in quibus b, quae autem ipsum sequitur, in quibiis,c,quae autem non contingunt ei inesse,in quibus,d rursum autem ipsi e quae quidem insunl, inquibus /, quffi autem ipsum sequitur, in quibus g,quffi autem non contingunt eidem inesse, in quibush. Si ergo eidem aliquid eorum quae sunt c, alicuieorum quas suntf, necesse est aomni einesse, namf quidem omni e, c, autem omoi a, quare omni einest. Si autem c et g idem, necesse est alicui einesse a, nam id quod est e a, vero quod est g e,omne ei sequitur. Siautem/^et rf sint idem, nulli einerit ex proprio syllogismo, quoniam enim converliturprivativa, et / ei quod est d idem, nulli/inerit a, fautem omni e. Rursus si b et h idem,niiili e inerit a, nam b a quidem omni, ei autem inquo