sS ai_tryRuleWithDefaultFacts(S ruleID, S input) {
  Pair<L<IfThen>, LS> p = ai_activeRulesAndFacts();
  L<IfThen> rules = filterByField(p.a, globalID := ruleID);
  if (empty(rules)) ret "Rule " + ruleID + " not found";
  new NLLogicChecker_v3 c;
  c.facts = p.b;
  c.input = input;
  new L checkingLog;
  nlLogic_collectCheckingLog(c, checkingLog);
  applyNLLogicFacts_v4(c, null, rules);
  ret lines(checkingLog);
}