A computer program evaluating a logic syllogism.