!7

p-exp {
  L<IfThen> rules = ai_parseRules(mL_raw([["Enter" rules]]));
  print("Got " + n2(rules, "rule"));
  
  final new NLLogicChecker_v3 c;
  c.facts = mL("Random facts");
  
  final new NLLogicChecker_v2.Matching m;
  for (final IfThen rule : rules)
    c.iterate(rule.in, m, r {
      //print("Got matches: " + sfu(m.matches));
      Exp out = c.apply(rule.out, m);
      for (Exp e : nlLogic_unrollAnd(out))
        if (eq(e.text(), "enter"))
          print("Entering. " + out);
    });
}

Began life as a copy of #1017829