Premise: and they're supposed

Hypothesis: They're not supposed to
Relation: contradiction