INFERENCING USING AUTOMATED REASONING: A NEW PHASE IN REACHABLE AND OPTIMIZED NEURAL NETWORK TECHNOLOGIES