"""Create reasoning_engine
Generated by Phi-Octopus Eden
2025-11-07 17:22:40.142423
"""

```python
from typing import List, Dict


class ReasoningEngine:
    """
    A simple reasoning engine that can evaluate logical statements based on given facts.
    
    This engine supports basic AND, OR, and NOT operators for logical evaluation.
    """

    def __init__(self):
        self.facts = {}
        
    def add_fact(self, fact: str, value: bool) -> None:
        """
        Adds a new fact to the knowledge base.

        :param fact: The name of the fact as a string.
        :param value: The boolean value of the fact.
        """
        self.facts[fact] = value

    def evaluate(self, statement: str) -> bool:
        """
        Evaluates the truth value of a logical statement based on current facts.

        :param statement: A string representing the logical statement to be evaluated.
                          Supported operators are AND, OR, NOT
        :return: The boolean result of the evaluation.
        """
        # Simple parsing for demonstration purposes
        if "AND" in statement:
            parts = statement.split(" AND ")
            return all(self.facts[part] for part in parts)
        elif "OR" in statement:
            parts = statement.split(" OR ")
            return any(self.facts[part] for part in parts)
        elif "NOT" in statement:
            return not self.facts[statement.replace("NOT ", "")]

        return bool(self.facts.get(statement, False))

    def example_usage(self) -> None:
        """
        Demonstrates how to use the ReasoningEngine class.
        """
        engine = ReasoningEngine()
        engine.add_fact('A', True)
        engine.add_fact('B', False)
        
        print(f"Is (A AND B) true? {engine.evaluate('A AND B')}")  # Should be False
        print(f"Is A true? {engine.evaluate('A')}")  # Should be True
        print(f"Is NOT B true? {engine.evaluate('NOT B')}")  # Should be True


# Example usage of the ReasoningEngine class
ReasoningEngine().example_usage()
```