Add ability to specify validity of generated syllogisms