Text: He clutched it in his hand and touched it against the orrery, trying to remember the formula for the giving of a true name.
Entailment: He was having a hard time remembering the formula for giving a true name.
Contradiction: He gave it a false name and est it free.