static Cl<S> agiBlue_deduceWithAllDollarVarRules(S... facts) {
  PhilosophyBot1 bot = agiBlue_philosophyBotWithAllDollarVarRules();
  bot.addFacts(asList(facts));
  bot.think();
  ret bot.factsDeduced();
}