Premise: First is ruled out.

Hypothesis: The first was added to the top of the list.
Relation: contradiction