Premise: is that right in the whole state

Hypothesis: I am sure it is not the whole state.
Relation: contradiction