Deduction: Automated Logic