Boethius Boethius, De syllogismo hypothetico, 2, 9 Rursus a non esse ponamus cum b, esse vero cum c; si non est a, est b, si est a, est c, si non est a, est b, si est a, non est c, si non est a, non est b, b si est a, est c, si non est a, non est b, si est a, non est c.