That is, a very high standard of inferential logic is needed.
That needs a high level of inferential logic.