static Cl<S> agiBlue_deduceWithAllDollarVarRules(S... facts) {
  new PhilosophyBot1 bot;
  bot.addFacts(asList(facts));
  for (AGIBlue_Rule r : agiBlue_rulesContainingDollarVars())
    bot.addRule(r.page);
  bot.think();
  ret bot.factsDeduced();
}