svoid test_ai_ruleOfThree_3() { 
  test_ai_ruleOfThree_3(::ai_ruleOfThree_solver_3);
}

svoid test_ai_ruleOfThree_3(IF2<S> f) {
  ai_testRuleOfThreeGivingFirst(f, [[
    Solar Powered Air Conditioner! => an air conditioner powered by solar
    pedal powered air conditioner => an air conditioner powered by pedal
    gravity powered machine => a machine powered by gravity
  ]]);
}