Indexing Triple Dependencies for Inference Verification