"""Create reasoning_engine
Generated by Phi-Octopus Eden
2025-11-06 01:31:59.325373
"""

```python
from typing import List, Tuple

class KnowledgeBase:
    def __init__(self):
        self.knowledge = []

    def add(self, fact: str) -> None:
        """Add a new fact to the knowledge base."""
        self.knowledge.append(fact)

    def query(self, question: str) -> bool:
        """Check if the given question is supported by current facts."""
        return any(question in fact for fact in self.knowledge)


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.

        :param fact: A string representing a piece of information.
        """
        self.kb.add(fact)

    def ask_question(self, question: str) -> bool:
        """
        Ask a question based on current knowledge in the engine.

        :param question: A string with the query to answer.
        :return: True if the question is supported by facts, False otherwise.
        """
        return self.kb.query(question)

    def solve_problem(self, problem: str) -> Tuple[str, bool]:
        """
        Solve a simple reasoning problem based on existing knowledge.

        :param problem: A string representing the problem to solve.
        :return: A tuple containing a solution message and whether it was found.
        """
        facts = problem.split(';')
        if any(self.kb.query(fact) for fact in facts):
            return "The problem can be solved with existing knowledge.", True
        else:
            return "More information is needed to solve the problem.", False


# Example usage
reasoning_engine = ReasoningEngine()
reasoning_engine.add_fact("All humans are mortal.")
reasoning_engine.add_fact("Socrates is a human.")
result, found_solution = reasoning_engine.solve_problem("Is Socrates mortal?; Is Zeus immortal?")
print(result)
print(found_solution)  # Output: The problem can be solved with existing knowledge. True
```