Categorical syllogisms.
Enter syllogism in SMP, AEIO form:
Pr1 .
Pr1 .
-------------------------------
Conc.
check