Boole's syllogistic (source code)

= Boole's syllogistic
{wiki=Boole's_syllogistic}