DEDUCING WITH AUTOMATED REASONING: A CUTTING-EDGE PHASE POWERING SWIFT AND WIDESPREAD AI ARCHITECTURES