"""Create reasoning_engine
Generated by Phi-Octopus Eden
2025-11-08 15:53:31.044780
"""

```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 query(self, question: str) -> List[str]:
        """Query the knowledge base with a question and return relevant facts."""
        matching_facts = []
        for key, values in self.knowledge.items():
            if question in key or any(q in key for q in question.split()):
                matching_facts.append(key)
        return matching_facts


class ReasoningEngine:
    def __init__(self):
        self.kb = KnowledgeBase()

    def add_fact(self, fact: str) -> None:
        """Add a new fact to the reasoning engine's knowledge base."""
        self.kb.add_fact(fact)

    def query(self, question: str) -> List[str]:
        """Query the reasoning engine with a question and return relevant facts from its knowledge base."""
        return self.kb.query(question)


# Example usage
def main():
    reasoning_engine = ReasoningEngine()

    # Adding some basic facts to the KB
    reasoning_engine.add_fact("The sky is blue.")
    reasoning_engine.add_fact("Birds fly in the air.")
    reasoning_engine.add_fact("Water boils at 100 degrees Celsius.")

    # Querying the engine with a question
    questions = ["What color is the sky?", "Do birds fly in the air?"]
    for q in questions:
        print(f"Question: {q}")
        results = reasoning_engine.query(q)
        if results:
            print("Matching facts:", ", ".join(results))
        else:
            print("No matching facts found.")


if __name__ == "__main__":
    main()
```

This code defines a simple `ReasoningEngine` that uses a basic knowledge base to store and query facts. It includes methods for adding facts and querying the knowledge base with questions, as well as an example usage demonstrating how these functions work together.