Text: The smart Annie was not in evidence.
Entailment: The clever Annie was not in proof.
Contradiction: The smart Annie was fully in evidence.