DEDUCING USING AUTOMATED REASONING: A DISRUPTIVE GENERATION POWERING AGILE AND UBIQUITOUS AI ALGORITHMS