sS ai_ruleOfThree_solver_1(S db, S input) {
  L<BasicLogicRule> rules = lambdaMap ai_parseBasicLogicRule(tlft(db));
  for (BasicLogicRule r : rules) {
    Set<S> words = sharedWords(r.lhs, r.rhs);
    SS map = ciMapWithUnusedCountingDollarVars(words, linesLL(r.lhs, r.rhs));
    BasicLogicRule r2 = mapBasicLogicRule(r, s -> replaceCodeTokensUsingMap(s, map));
    print(+r2);
  }
  
  null;
}