その言語構造は部門でないけれど進める
fact1: 仮になにがしかの物が屈伸しないならそれは取り消し得ないし賑々しくない fact2: あの春節は屈伸しない fact3: あの春節は取り消し得ない fact4: あの春節は表わし始めない fact5: もし葛餡は二発であるとすれば「それは部門でない」ということは嘘でない fact6: もしもあの春節が屈伸しないとすればそれは取り消し得ない fact7: もしもあの春節が取り消し得ないしおまけに賑々しくないならそれは葛餡だ fact8: なにがしかのものが濡れないとすると二発でない fact9: その言語構造は当たり易いしおまけにそれは屈伸する fact10: あの春節は部門でないなら「その言語構造は部門でない一方でそれは進める」ということは嘘だ fact11: もし仮にあの春節は取り消し得が賑々しいということはないとすれば葛餡である fact12: あの春節が二発だし濡れる fact13: もし仮にあの可塑剤は濡れないとしたら「それは二発であるし葛餡である」ということは誤っている fact14: もし仮にあの春節は部門でないなら「その言語構造は部門だし加えて進める」ということは確かでない fact15: 「その言語構造は部門であるし加えて進める」ということは誤っている fact16: あの春節はＡオプションだ fact17: その卯年は屈伸しない fact18: 仮にその言語構造が屈伸するということはないとしたら部門でなくてしかも進める
fact1 -> int1: もし仮にあの春節が屈伸しないとしたらそれは取り消し得ないし加えて賑々しいということはない; int1 & fact2 -> int2: あの春節は取り消し得ないし加えて賑々しくない; int2 & fact7 -> int3: あの春節は葛餡である; fact12 -> int4: あの春節は二発である; int3 & int4 -> int5: あの春節は葛餡だしさらに二発である; fact5 -> int6: もしもあの春節は葛餡で二発なら部門でない; int5 & int6 -> int7: あの春節は部門でない; int7 & fact10 -> hypothesis;
その言語構造は部門でないけど進める
$facts$ = fact1: 仮になにがしかの物が屈伸しないならそれは取り消し得ないし賑々しくない fact2: あの春節は屈伸しない fact3: あの春節は取り消し得ない fact4: あの春節は表わし始めない fact5: もし葛餡は二発であるとすれば「それは部門でない」ということは嘘でない fact6: もしもあの春節が屈伸しないとすればそれは取り消し得ない fact7: もしもあの春節が取り消し得ないしおまけに賑々しくないならそれは葛餡だ fact8: なにがしかのものが濡れないとすると二発でない fact9: その言語構造は当たり易いしおまけにそれは屈伸する fact10: あの春節は部門でないなら「その言語構造は部門でない一方でそれは進める」ということは嘘だ fact11: もし仮にあの春節は取り消し得が賑々しいということはないとすれば葛餡である fact12: あの春節が二発だし濡れる fact13: もし仮にあの可塑剤は濡れないとしたら「それは二発であるし葛餡である」ということは誤っている fact14: もし仮にあの春節は部門でないなら「その言語構造は部門だし加えて進める」ということは確かでない fact15: 「その言語構造は部門であるし加えて進める」ということは誤っている fact16: あの春節はＡオプションだ fact17: その卯年は屈伸しない fact18: 仮にその言語構造が屈伸するということはないとしたら部門でなくてしかも進める ; $hypothesis$ = その言語構造は部門でないけれど進める ; $proof$ = 
fact1 -> int1: もし仮にあの春節が屈伸しないとしたらそれは取り消し得ないし加えて賑々しいということはない; int1 & fact2 -> int2: あの春節は取り消し得ないし加えて賑々しくない; int2 & fact7 -> int3: あの春節は葛餡である; fact12 -> int4: あの春節は二発である; int3 & int4 -> int5: あの春節は葛餡だしさらに二発である; fact5 -> int6: もしもあの春節は葛餡で二発なら部門でない; int5 & int6 -> int7: あの春節は部門でない; int7 & fact10 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかの物が屈伸しないならそれは取り消し得ないし賑々しくない
事実2: あの春節は屈伸しない
事実3: あの春節は取り消し得ない
事実4: あの春節は表わし始めない
事実5: もし葛餡は二発であるとすれば「それは部門でない」ということは嘘でない
事実6: もしもあの春節が屈伸しないとすればそれは取り消し得ない
事実7: もしもあの春節が取り消し得ないしおまけに賑々しくないならそれは葛餡だ
事実8: なにがしかのものが濡れないとすると二発でない
事実9: その言語構造は当たり易いしおまけにそれは屈伸する
事実10: あの春節は部門でないなら「その言語構造は部門でない一方でそれは進める」ということは嘘だ
事実11: もし仮にあの春節は取り消し得が賑々しいということはないとすれば葛餡である
事実12: あの春節が二発だし濡れる
事実13: もし仮にあの可塑剤は濡れないとしたら「それは二発であるし葛餡である」ということは誤っている
事実14: もし仮にあの春節は部門でないなら「その言語構造は部門だし加えて進める」ということは確かでない
事実15: 「その言語構造は部門であるし加えて進める」ということは誤っている
事実16: あの春節はＡオプションだ
事実17: その卯年は屈伸しない
事実18: 仮にその言語構造が屈伸するということはないとしたら部門でなくてしかも進める

仮説: その言語構造は部門でないけれど進める
1. 事実1から、推論1: "もし仮にあの春節が屈伸しないとしたらそれは取り消し得ないし加えて賑々しいということはない"が導かれる
2. 推論1と事実2から、推論2: "あの春節は取り消し得ないし加えて賑々しくない"が導かれる
3. 推論2と事実7から、推論3: "あの春節は葛餡である"が導かれる
4. 事実12から、推論4: "あの春節は二発である"が導かれる
5. 推論3と推論4から、推論5: "あの春節は葛餡だしさらに二発である"が導かれる
6. 事実5から、推論6: "もしもあの春節は葛餡で二発なら部門でない"が導かれる
7. 推論5と推論6から、推論7: "あの春節は部門でない"が導かれる
8. 推論7と事実10から、仮説が否定される

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