「その単位長さ辺りは食らわすけどそれは柔くない」ということは事実と異なる
fact1: あの人道支援物資は見え難い fact2: もし仮にその未割り当て領域が起案するし食らわすならばあの単位長さ辺りは柔くない fact3: もしその未割り当て領域が意義深いとしたらそれは起案する fact4: その未割り当て領域は意義深い fact5: あの人道支援物資は起案しない fact6: もしもその単位長さ辺りは見え難くないとしたら「その未割り当て領域は意義深いけど食らわすということはない」ということは成り立たない fact7: もしもその単位長さ辺りが見え難いとすれば柔い fact8: もしもその未割り当て領域が柔いし揺るぎないならあの累進性は意義深いということはない fact9: もし「あの人道支援物資は見え難い」ということは偽でないならばあの未割り当て領域は見え難い fact10: もしもあの累進性は揺るぎないということはないならば「その単位長さ辺りは食らわすけれど柔くない」ということは嘘である fact11: 仮にその未割り当て領域が起案するし見え難いならあの累進性は揺るぎなくない
fact3 & fact4 -> int1: その未割り当て領域は起案する; fact9 & fact1 -> int2: 「その未割り当て領域は見え難い」ということは成り立つ; int1 & int2 -> int3: その未割り当て領域が起案するしその上見え難い; int3 & fact11 -> int4: あの累進性は揺るぎなくない; int4 & fact10 -> hypothesis;
$facts$ = fact1: あの人道支援物資は見え難い fact2: もし仮にその未割り当て領域が起案するし食らわすならばあの単位長さ辺りは柔くない fact3: もしその未割り当て領域が意義深いとしたらそれは起案する fact4: その未割り当て領域は意義深い fact5: あの人道支援物資は起案しない fact6: もしもその単位長さ辺りは見え難くないとしたら「その未割り当て領域は意義深いけど食らわすということはない」ということは成り立たない fact7: もしもその単位長さ辺りが見え難いとすれば柔い fact8: もしもその未割り当て領域が柔いし揺るぎないならあの累進性は意義深いということはない fact9: もし「あの人道支援物資は見え難い」ということは偽でないならばあの未割り当て領域は見え難い fact10: もしもあの累進性は揺るぎないということはないならば「その単位長さ辺りは食らわすけれど柔くない」ということは嘘である fact11: 仮にその未割り当て領域が起案するし見え難いならあの累進性は揺るぎなくない ; $hypothesis$ = 「その単位長さ辺りは食らわすけどそれは柔くない」ということは事実と異なる ; $proof$ = 
fact3 & fact4 -> int1: その未割り当て領域は起案する; fact9 & fact1 -> int2: 「その未割り当て領域は見え難い」ということは成り立つ; int1 & int2 -> int3: その未割り当て領域が起案するしその上見え難い; int3 & fact11 -> int4: あの累進性は揺るぎなくない; int4 & fact10 -> hypothesis; __PROVED__
事実1: あの人道支援物資は見え難い
事実2: もし仮にその未割り当て領域が起案するし食らわすならばあの単位長さ辺りは柔くない
事実3: もしその未割り当て領域が意義深いとしたらそれは起案する
事実4: その未割り当て領域は意義深い
事実5: あの人道支援物資は起案しない
事実6: もしもその単位長さ辺りは見え難くないとしたら「その未割り当て領域は意義深いけど食らわすということはない」ということは成り立たない
事実7: もしもその単位長さ辺りが見え難いとすれば柔い
事実8: もしもその未割り当て領域が柔いし揺るぎないならあの累進性は意義深いということはない
事実9: もし「あの人道支援物資は見え難い」ということは偽でないならばあの未割り当て領域は見え難い
事実10: もしもあの累進性は揺るぎないということはないならば「その単位長さ辺りは食らわすけれど柔くない」ということは嘘である
事実11: 仮にその未割り当て領域が起案するし見え難いならあの累進性は揺るぎなくない

仮説: 「その単位長さ辺りは食らわすけどそれは柔くない」ということは事実と異なる
1. 事実3と事実4から、推論1: "その未割り当て領域は起案する"が導かれる
2. 事実9と事実1から、推論2: "「その未割り当て領域は見え難い」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "その未割り当て領域が起案するしその上見え難い"が導かれる
4. 推論3と事実11から、推論4: "あの累進性は揺るぎなくない"が導かれる
5. 推論4と事実10から、仮説が導かれる

よって、仮説が証明されました。