Text: They might have left the village altogether but for a fortunate discovery of Tommy's.
Entailment: They were going to leave the village.
Contradiction: They successfully left the village as Tommy's discovery was made too late.