Fix entailed iterator.
Fix counting entailed triples.
Improve reporting.
Count stored (unique) triples instead of parsed.
Fix NTriples output.