AUTOMATED REASONING INFERENCE: THE ZENITH OF DISCOVERIES TOWARDS WIDESPREAD AND LEAN AI UTILIZATION