Text: We didn't have time to check.
Entailment: There wasn't time to check.
Contradiction: We had time to check.