Premise: First is ruled out.

Hypothesis: The initial one was eliminated.
Relation: entailment