An Efficient Hybrid Rule Based Inference Engine with Explanation Capability