static int ai_addFactsToSet(Set<S> set, LS newFacts) {
  int n = 0;
  for (S fact : newFacts)
    if (!set.contains("Untrue: " + fact) && set.add(fact)) ++n;
  ret n;
}