please include function trueStatements_cached.
please include function loadTruth_cached.

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

static void useFacts_cl(S statements) {
  useFacts_cl(toLinesFullTrim(statements));
}

Began life as a copy of #1007671