Premise: , here is how it works.

Hypothesis: It does not work like this.
Relation: contradiction