Premise: I checked the  not bad.

Hypothesis: I was not able to check the not bad.
Relation: contradiction