sbool ai_cache_hasTriple_debug;

static bool ai_cache_hasTriple(S a, S b, S c) {
  if (a == null || b == null || c == null) false;
  L<Web> webs = ai_fewestIndexedWebs(a, b, c);
  bool x = webs_search_noVar_bool(webFromTriples(a, b, c), webs);
  if (ai_cache_hasTriple_debug)
    print("hasTriple: " + sfuLL(a, b, c, x) + ", searched " + nWebs(webs));
  ret x;
}

static bool ai_cache_hasTriple(T3<S> t) {
  ret ai_cache_hasTriple(t.a, t.b, t.c);
}