A syllogism validator