Premise: That is, a very high standard of inferential logic is needed.

Hypothesis: That needs a high level of inferential logic.
Relation: entailment