static Collection<S> ai_simulateFactToFactRules() {
  L<IfThen> rules = ai_parseRules(mL_raw("Fact-to-fact rules"));
  LS facts = ai_facts();
  ret setMinusSet(ai_deriveFacts(rules, facts), facts);
}