sS ai_ruleOfThree_solver_3(S db, S input) {
  ret fixAOrAn(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_sharedPhrasesIntoDollarVars);
  
    // match input with rules
    too_flexMatchRulesToTransformInput(too);
  }));
}