Premise: We didn't have time to check.

Hypothesis: We had time to check.
Relation: contradiction