>>339
推論が妨げるもの無く成立する、と言ってる