AUTOMATED REASONING DEDUCTION: THE CUTTING OF DEVELOPMENT POWERING UBIQUITOUS AND LEAN AI REALIZATION