A machine for producing syllogistic variations.