Text: The first type of
Entailment: The first kind of.
Contradiction: The last kind.