Description: "Darapti", one of the syllogisms of Aristotelian logic. All ph is
ps , all ph is ch , and some ph exist, therefore some
ch is ps . In Aristotelian notation, AAI-3: MaP and MaS
therefore SiP. For example, "All squares are rectangles" and "All
squares are rhombuses", therefore "Some rhombuses are rectangles".
(Contributed by David A. Wheeler, 28-Aug-2016) Reduce dependencies on
axioms. (Revised by BJ, 16-Sep-2022)