Premise: None 'tall, Kirby, none 'tall.

Hypothesis: There was no one there.
Relation: contradiction