sS ai_ruleOfThree_solver_1(S db, S input) {
  ret too_transformInput(input, too -> {
    // load rules
    too.addAll(lambdaMap ai_parseBasicLogicRule(tlft(db)));
  
    // turn words appearing in LHS and RHS into variables
    too.addTransformer(f<BasicLogicRule<S>, O> ai_sharedWordsIntoDollarVars);
  
    // match input with rules
    too_flexMatchRulesToTransformInput(too);
  });
}