その流通秩序は顰める
fact1: もしとあるものは竹笊でないならそれはプロらしいし結う fact2: 取り扱い易い物は顰める fact3: なにかは竹笊だということはないならば結う fact4: その流通秩序はプロらしい fact5: 「結う」物はある fact6: この形骸は竹笊でない fact7: 仮にこの形骸は竹笊であるということはないならばそれは結う fact8: もしプロらしいものが結うとすればその流通秩序は取り扱い易い fact9: この形骸は結う fact10: 「動揺し易い」ものはある fact11: もし仮にその炉近くは動揺し易いなら「あのパス名は竹笊でないしさらに取り扱い易くない」ということは成り立たない fact12: もしもこのがら空きが顰めないとしたらそれはムッシューで取り扱い易い fact13: もし仮に「何らかの物は脂肪吸引するけれどそれは動揺し易くない」ということは成り立つということはないならば「顰めるということはない」ということは本当である
fact1 -> int1: もし仮に「この形骸は竹笊だということはない」ということは間違いであるということはないとするとプロらしいし結う; int1 & fact6 -> int2: この形骸はプロらしいし結う; int2 -> int3: 何らかのものはプロらしいしまた結う; int3 & fact8 -> int4: その流通秩序は取り扱い易い; fact2 -> int5: もし仮にその流通秩序は取り扱い易いならば「それは顰める」ということは成り立つ; int4 & int5 -> hypothesis;
このがら空きはムッシューであるし確認し易い
fact15 -> int6: もし「このがら空きは脂肪吸引する一方で動揺し易くない」ということは成り立たないなら顰めない;
$facts$ = fact1: もしとあるものは竹笊でないならそれはプロらしいし結う fact2: 取り扱い易い物は顰める fact3: なにかは竹笊だということはないならば結う fact4: その流通秩序はプロらしい fact5: 「結う」物はある fact6: この形骸は竹笊でない fact7: 仮にこの形骸は竹笊であるということはないならばそれは結う fact8: もしプロらしいものが結うとすればその流通秩序は取り扱い易い fact9: この形骸は結う fact10: 「動揺し易い」ものはある fact11: もし仮にその炉近くは動揺し易いなら「あのパス名は竹笊でないしさらに取り扱い易くない」ということは成り立たない fact12: もしもこのがら空きが顰めないとしたらそれはムッシューで取り扱い易い fact13: もし仮に「何らかの物は脂肪吸引するけれどそれは動揺し易くない」ということは成り立つということはないならば「顰めるということはない」ということは本当である ; $hypothesis$ = その流通秩序は顰める ; $proof$ = 
fact1 -> int1: もし仮に「この形骸は竹笊だということはない」ということは間違いであるということはないとするとプロらしいし結う; int1 & fact6 -> int2: この形骸はプロらしいし結う; int2 -> int3: 何らかのものはプロらしいしまた結う; int3 & fact8 -> int4: その流通秩序は取り扱い易い; fact2 -> int5: もし仮にその流通秩序は取り扱い易いならば「それは顰める」ということは成り立つ; int4 & int5 -> hypothesis; __PROVED__
事実1: もしとあるものは竹笊でないならそれはプロらしいし結う
事実2: 取り扱い易い物は顰める
事実3: なにかは竹笊だということはないならば結う
事実4: その流通秩序はプロらしい
事実5: 「結う」物はある
事実6: この形骸は竹笊でない
事実7: 仮にこの形骸は竹笊であるということはないならばそれは結う
事実8: もしプロらしいものが結うとすればその流通秩序は取り扱い易い
事実9: この形骸は結う
事実10: 「動揺し易い」ものはある
事実11: もし仮にその炉近くは動揺し易いなら「あのパス名は竹笊でないしさらに取り扱い易くない」ということは成り立たない
事実12: もしもこのがら空きが顰めないとしたらそれはムッシューで取り扱い易い
事実13: もし仮に「何らかの物は脂肪吸引するけれどそれは動揺し易くない」ということは成り立つということはないならば「顰めるということはない」ということは本当である

仮説: その流通秩序は顰める
1. 事実1から、推論1: "もし仮に「この形骸は竹笊だということはない」ということは間違いであるということはないとするとプロらしいし結う"が導かれる
2. 推論1と事実6から、推論2: "この形骸はプロらしいし結う"が導かれる
3. 推論2から、推論3: "何らかのものはプロらしいしまた結う"が導かれる
4. 推論3と事実8から、推論4: "その流通秩序は取り扱い易い"が導かれる
5. 事実2から、推論5: "もし仮にその流通秩序は取り扱い易いならば「それは顰める」ということは成り立つ"が導かれる
6. 推論4と推論5から、仮説が導かれる

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