static void ai_deleteTriple(TripleWeb t) {
  if (t != null) tripleIndex().removeTriple(t);
}