Premise: That's a given, right?

Hypothesis: That can't be a given, right?
Relation: contradiction