DEDUCING USING AUTOMATED REASONING: A DISRUPTIVE CYCLE POWERING SWIFT AND UBIQUITOUS PREDICTIVE MODEL MODELS