Text: That is, a very high standard of inferential logic is needed.
Entailment: That needs a high level of inferential logic.
Contradiction: That needs a low level of inferential logic.