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