Premise: Here he cannot.

Hypothesis: Yes, he can do that here.
Relation: contradiction