Efficient Pruning via Entailment Cardinality Estimation for Fast Top-down Logic Rule Mining