Enabled syllogism search and invalid rule display