Premise: First, it's based on a contradiction.

Hypothesis: The basis for it is a contradiction.
Relation: entailment