NLPのモデルの予測結果には、多くの場合論理的な非一貫性がある。（例:NLIで文P,H,Sについて「P→H」かつ「H→Z」のとき、「P→Z」が成り立たない）この論文では、この論理的非一貫性の計測と軽減の方法を提案した。