code: def test_FactRules_deduce_base():
      # deduction that starts from base
  
      f = FactRules(
          [
              "real  == neg | zero | pos",
              "neg   -> real & !zero & !pos",
              "pos   -> real & !zero & !neg",
          ]
      )
      base = FactKB(f)
  
      base.deduce_all_facts({"real": T, "neg": F})
      assert base == {"real": T, "neg": F}
  
      base.deduce_all_facts({"zero": F})
      assert base == {"real": T, "neg": F, "zero": F, "pos": T}
  
file_path: sympy/sympy/core/tests/test_facts.py
imports: from sympy.core.facts import deduce_alpha_implications, apply_beta_to_alpha_route, rules_2prereq, FactRules, FactKB
  from sympy.core.logic import And, Not
  from sympy.testing.pytest import raises
label_desc: Use image node_id 9 for calling a global function with example usage: test_FactRules_deduce_base() without return types