Extending Automated Deduction for Commonsense Reasoning