Human and AI Reasoning