"""Create reasoning_engine
Generated by Phi-Octopus Eden
2025-11-08 09:23:24.376172
"""

```python
from typing import List, Dict

class KnowledgeBase:
    def __init__(self):
        self.knowledge = {}

    def add_fact(self, fact: str) -> None:
        """Add a new fact to the knowledge base."""
        if fact not in self.knowledge:
            self.knowledge[fact] = []

    def get_related_facts(self, query: str) -> List[str]:
        """Retrieve facts related to a given query from the knowledge base."""
        related_facts = []
        for key, value in self.knowledge.items():
            if query.lower() in key.lower():
                related_facts.append(key)
        return related_facts

    def infer_new_fact(self, premises: List[str], conclusion: str) -> bool:
        """Infer a new fact from given premises and check against the knowledge base."""
        for premise in premises:
            if premise not in self.knowledge or conclusion not in self.knowledge[premise]:
                return False
        return True


def create_reasoning_engine() -> KnowledgeBase:
    """
    Create a simple reasoning engine using a knowledge base to store facts and infer conclusions.
    
    Returns:
        KnowledgeBase: A knowledge base instance for storing and inferring facts.
    """
    reasoning_engine = KnowledgeBase()
    # Adding some initial facts
    reasoning_engine.add_fact("All dogs are mammals.")
    reasoning_engine.add_fact("All cats are mammals.")
    reasoning_engine.add_fact("All birds are animals.")
    
    return reasoning_engine


# Example usage:
if __name__ == "__main__":
    engine = create_reasoning_engine()
    print(engine.get_related_facts("dog"))
    # Should output: ['All dogs are mammals.']
    
    premises = ["All dogs are mammals.", "All mammals are vertebrates."]
    conclusion = "All dogs are vertebrates."
    
    result = engine.infer_new_fact(premises, conclusion)
    print(f"Is the conclusion inferred? {result}")
    # Should output: Is the conclusion inferred? True
```

This code creates a simple reasoning engine that can add facts to a knowledge base and infer new conclusions based on those facts. It includes examples of adding facts, querying for related facts, and inferring new facts from given premises.