Description: "Darii", one of the syllogisms of Aristotelian logic. All ph is
ps , and some ch is ph , therefore some ch is ps .
In Aristotelian notation, AII-1: MaP and SiM therefore SiP. For
example, given "All rabbits have fur" and "Some pets are rabbits",
therefore "Some pets have fur". Example from
https://en.wikipedia.org/wiki/Syllogism . See dariiALT for a
shorter proof requiring more axioms. (Contributed by David A. Wheeler, 24-Aug-2016) Reduce dependencies on axioms. (Revised by BJ, 16-Sep-2022)