Premise: He can come up here if he wants to see us."

Hypothesis: He can see us from there.
Relation: contradiction