Start implementing infering triples.