Description: "Festino", one of the syllogisms of Aristotelian logic. No ph is
ps , and some ch is ps , therefore some ch is not
ph . In Aristotelian notation, EIO-2: PeM and SiM therefore SoP.
(Contributed by David A. Wheeler, 25-Nov-2016) Reduce dependencies on
axioms. (Revised by BJ, 16-Sep-2022)