sS ai_ruleOfThree_solver_1(S db, S input) {
  L<BasicLogicRule> rules = lambdaMap ai_parseBasicLogicRule(tlft(db));
  for (BasicLogicRule r : rules)
    for (S word : commonWords(r.lhs, r.rhs))
      replaceCodeTokensUsingMap(word, unused
  
  null;
});