add satisfied triples