DEDUCING USING AUTOMATED REASONING: A PIONEERING WAVE POWERING SWIFT AND WIDESPREAD PREDICTIVE MODEL MODELS