Text: Infies was his name for them.
Entailment: He called them Infies
Contradiction: He had never and would never call them Infies.