Premise: Red waved at him.

Hypothesis: Red didn't notice him.
Relation: contradiction