DEDUCING USING AUTOMATED REASONING: A DISRUPTIVE CYCLE POWERING AGILE AND WIDESPREAD PREDICTIVE MODEL SYSTEMS