Automated reasoning system