Text: First is ruled out.
Entailment: The initial one was eliminated.
Contradiction: The first was added to the top of the list.