Implemented the InferenceEngine, updated knowledge base.