AUTOMATED REASONING DEDUCTION: THE DAWNING HORIZON IN ATTAINABLE AND ENHANCED SMART SYSTEM IMPLEMENTATION