static Collection<S> ai_applyFactToFactRules() {
  L<IfThen> rules = ai_parseRules(mL_raw("Fact-to-fact rules"));
  Set<S> outFacts = ai_deriveFacts(rules, mL("Random facts"));
  appendToMechList("Derived facts", outFacts);
  ret outFacts;
}