inferred triples