sS ai_ruleOfThree_solver_1(S db, S input) {
  new TransformersOnObjects too;
  too.addAll(lambdaMap ai_parseBasicLogicRule(tlft(db)));

  too.addTransformer(func(BasicLogicRule<S> r) -> BasicLogicRule {
    LS words = antiFilter isDollarVar(sharedWords(r.lhs, r.rhs));
    SS map = ciMapWithUnusedCountingDollarVars(words, linesLL(r.lhs, r.rhs));
    ret mapBasicLogicRule(r, s -> replaceCodeTokensUsingMap(s, map));
  });

  too.think();
  
  null;
}