その本プランは絞り入れない
fact1: そのイルミネーションはちぎれ易くない fact2: もし仮にあの余りが絞り入れないがしかし泥流であるならばあの本プランは絞り入れない fact3: この現政権は揺らめかない fact4: スポーツマンらしくないかあるいは崩し易くないかもしくは両方ともなものは揺らめかない fact5: もし「ちぎれ易くない」物があるならその本プランは空々しい fact6: もしも「「崩し易いしまたスポーツマンらしい」ということは間違いな」ものがあるならばあのイルミネーションはショップでない fact7: もし仮にその隊が勘違いし易いかそれがショップであるか両方ともであるならばあの本プランはスポーツマンらしくない fact8: もしその本プランは絞り入れないかまたはショップでないかもしくは両方だとすればそれは勘違いし易くない fact9: もしその隊が勘違いし易いならその本プランはスポーツマンらしくない fact10: あの余りが泥流であるならその隊はショップだ fact11: 仮になにがしかの物がちぎれ易くないとするとその本プランは空々しいし葉である fact12: 「「ちぎれ易い」ということは真実な」ものはある fact13: 葉が揺らめかないとすると絞り入れる fact14: もしもこの現政権は揺らめかないなら「崩し易くてかつスポーツマンらしい」ということは成り立たない fact15: あの余りは泥流でそれは堪り易い
fact15 -> int1: あの余りは泥流だ; int1 & fact10 -> int2: その隊はショップである; int2 -> int3: その隊は勘違いし易いかまたはそれはショップであるかもしくは両方だ; int3 & fact7 -> int4: その本プランはスポーツマンらしくない; int4 -> int5: その本プランはスポーツマンらしいということはないかもしくは崩し易くない; fact4 -> int6: もし仮にその本プランがスポーツマンらしくないかそれが崩し易くないとすればそれは揺らめかない; int5 & int6 -> int7: その本プランは揺らめかない; fact1 -> int8: あるものはちぎれ易くない; int8 & fact11 -> int9: その本プランは空々しいしそれに葉である; int9 -> int10: 「その本プランは葉だ」ということは成り立つ; int7 & int10 -> int11: その本プランは葉である一方で揺らめかない; fact13 -> int12: 仮にその本プランが葉であるが揺らめかないとすれば絞り入れる; int11 & int12 -> hypothesis;
その本プランは絞り入れるということはない
fact17 & fact18 -> int13: 「この現政権は崩し易いしかつそれはスポーツマンらしい」ということは成り立つということはない; int13 -> int14: 「「崩し易いし加えてスポーツマンらしい」ということは成り立たない」ものはある; int14 & fact19 -> int15: そのイルミネーションはショップでない; int15 -> int16: そのイルミネーションはショップでないかまたは勘違いし易くないかまたはどちらもである; int16 -> int17: とあるものはショップでないかもしくは勘違いし易くない;
$facts$ = fact1: そのイルミネーションはちぎれ易くない fact2: もし仮にあの余りが絞り入れないがしかし泥流であるならばあの本プランは絞り入れない fact3: この現政権は揺らめかない fact4: スポーツマンらしくないかあるいは崩し易くないかもしくは両方ともなものは揺らめかない fact5: もし「ちぎれ易くない」物があるならその本プランは空々しい fact6: もしも「「崩し易いしまたスポーツマンらしい」ということは間違いな」ものがあるならばあのイルミネーションはショップでない fact7: もし仮にその隊が勘違いし易いかそれがショップであるか両方ともであるならばあの本プランはスポーツマンらしくない fact8: もしその本プランは絞り入れないかまたはショップでないかもしくは両方だとすればそれは勘違いし易くない fact9: もしその隊が勘違いし易いならその本プランはスポーツマンらしくない fact10: あの余りが泥流であるならその隊はショップだ fact11: 仮になにがしかの物がちぎれ易くないとするとその本プランは空々しいし葉である fact12: 「「ちぎれ易い」ということは真実な」ものはある fact13: 葉が揺らめかないとすると絞り入れる fact14: もしもこの現政権は揺らめかないなら「崩し易くてかつスポーツマンらしい」ということは成り立たない fact15: あの余りは泥流でそれは堪り易い ; $hypothesis$ = その本プランは絞り入れない ; $proof$ = 
fact15 -> int1: あの余りは泥流だ; int1 & fact10 -> int2: その隊はショップである; int2 -> int3: その隊は勘違いし易いかまたはそれはショップであるかもしくは両方だ; int3 & fact7 -> int4: その本プランはスポーツマンらしくない; int4 -> int5: その本プランはスポーツマンらしいということはないかもしくは崩し易くない; fact4 -> int6: もし仮にその本プランがスポーツマンらしくないかそれが崩し易くないとすればそれは揺らめかない; int5 & int6 -> int7: その本プランは揺らめかない; fact1 -> int8: あるものはちぎれ易くない; int8 & fact11 -> int9: その本プランは空々しいしそれに葉である; int9 -> int10: 「その本プランは葉だ」ということは成り立つ; int7 & int10 -> int11: その本プランは葉である一方で揺らめかない; fact13 -> int12: 仮にその本プランが葉であるが揺らめかないとすれば絞り入れる; int11 & int12 -> hypothesis; __DISPROVED__
事実1: そのイルミネーションはちぎれ易くない
事実2: もし仮にあの余りが絞り入れないがしかし泥流であるならばあの本プランは絞り入れない
事実3: この現政権は揺らめかない
事実4: スポーツマンらしくないかあるいは崩し易くないかもしくは両方ともなものは揺らめかない
事実5: もし「ちぎれ易くない」物があるならその本プランは空々しい
事実6: もしも「「崩し易いしまたスポーツマンらしい」ということは間違いな」ものがあるならばあのイルミネーションはショップでない
事実7: もし仮にその隊が勘違いし易いかそれがショップであるか両方ともであるならばあの本プランはスポーツマンらしくない
事実8: もしその本プランは絞り入れないかまたはショップでないかもしくは両方だとすればそれは勘違いし易くない
事実9: もしその隊が勘違いし易いならその本プランはスポーツマンらしくない
事実10: あの余りが泥流であるならその隊はショップだ
事実11: 仮になにがしかの物がちぎれ易くないとするとその本プランは空々しいし葉である
事実12: 「「ちぎれ易い」ということは真実な」ものはある
事実13: 葉が揺らめかないとすると絞り入れる
事実14: もしもこの現政権は揺らめかないなら「崩し易くてかつスポーツマンらしい」ということは成り立たない
事実15: あの余りは泥流でそれは堪り易い

仮説: その本プランは絞り入れない
1. 事実15から、推論1: "あの余りは泥流だ"が導かれる
2. 推論1と事実10から、推論2: "その隊はショップである"が導かれる
3. 推論2から、推論3: "その隊は勘違いし易いかまたはそれはショップであるかもしくは両方だ"が導かれる
4. 推論3と事実7から、推論4: "その本プランはスポーツマンらしくない"が導かれる
5. 推論4から、推論5: "その本プランはスポーツマンらしいということはないかもしくは崩し易くない"が導かれる
6. 事実4から、推論6: "もし仮にその本プランがスポーツマンらしくないかそれが崩し易くないとすればそれは揺らめかない"が導かれる
7. 推論5と推論6から、推論7: "その本プランは揺らめかない"が導かれる
8. 事実1から、推論8: "あるものはちぎれ易くない"が導かれる
9. 推論8と事実11から、推論9: "その本プランは空々しいしそれに葉である"が導かれる
10. 推論9から、推論10: "「その本プランは葉だ」ということは成り立つ"が導かれる
11. 推論7と推論10から、推論11: "その本プランは葉である一方で揺らめかない"が導かれる
12. 事実13から、推論12: "仮にその本プランが葉であるが揺らめかないとすれば絞り入れる"が導かれる
13. 推論11と推論12から、仮説が否定される

よって、仮説が否定されました。