Minds versus Machines: Rethinking Entailment Verification with Language Models