class_docstr: A simple propositional knowledge base relying on compiled inference rules.
code: def __init__(self, rules):
      self.rules = rules
  
imports: from collections import defaultdict
  from typing import Iterator
  from .logic import Logic, And, Or, Not
label_desc: Use image node_id 2 to create a new FactKB object from inherited base classes: dict with example: obj = FactKB(rules)