Premise: we have tickets waiting for us

Hypothesis: We have no tickets waiting for us.
Relation: contradiction