Consciousness and Automated Reasoning