A syllogism generator