please include function trueStatements_cached.
please include function loadTruth_cached.

static void useFacts(S facts) {
  L<S> statements = linesToCL(facts);
  // trueStatements_cached_autoClearInterval = 0;
  trueStatements_cached_cache.set(new LinkedHashSet(statements));
  loadTruth_cached_cache.set(aiMakeStatements(statements));
}