「その神役はしぶといとすれば「この総回転数は蛤帝だ」ということは本当である」ということは成り立たない
fact1: 仮に蛤帝はだれれば「この総回転数は遅筋だ」ということは事実である fact2: なんらかの物は遅筋であるし加えて蛤帝である fact3: もし活用し易いしまたしぶといものはあるなら「この天日塩は奥まる」ということは嘘であるということはない fact4: なんらかの物は喋り難い fact5: 何らかの物は思想・信条だしかつ活用し易い fact6: このハイパーテキストは再検討しない fact7: 仮にこの天日塩は奥まれば「この刑事裁判は遅筋でない一方でだれる」ということは嘘である fact8: もし「ある物は蛤帝だ一方で孤児達でない」ということは成り立たないとすると遅筋でない fact9: 仮にこのハイパーテキストは遅筋であるとしたら「「この刑事裁判は再検討しないけれど蛤帝である」ということは確かだ」ということは嘘である fact10: 「この刑事裁判は主題化する」ということは確かだ fact11: もしもこのハイパーテキストが再検討しないとするとその神役は活用し易いしそれに思想・信条である fact12: あの登記事項証明書は再検討しない fact13: 「このハイパーテキストは蛤帝であるけど孤児達でない」ということは嘘である fact14: もしもこのハイパーテキストは遅筋であるということはないとすればそれはだれるしまた奥まる fact15: この刑事裁判は再検討する fact16: もし仮に何かは奥まるとするとしぶとくない fact17: あの御尾裂きはしぶといしえげつない fact18: ある物が再検討するしおまけにそれがだれるとするとこのハイパーテキストは活用し易い fact19: このハイパーテキストは奥まる fact20: もし「この刑事裁判は遅筋でない一方でだれる」ということは嘘であるとするとこの総回転数は蛤帝である
fact11 & fact6 -> int1: その神役は活用し易いしかつ思想・信条である; int1 -> int2: その神役は活用し易い; void -> assump1: 以下のように仮定する。その神役はしぶとい; int2 & assump1 -> int3: その神役は活用し易いししぶとい; int3 -> int4: 「とある物は活用し易いしまたそれはしぶとい」ということは成り立つ; int4 & fact3 -> int5: この天日塩は奥まる; int5 & fact7 -> int6: 「この刑事裁判は遅筋でないけれどだれる」ということは成り立たない; int6 & fact20 -> int7: 「この総回転数は蛤帝だ」ということは成り立つ; [assump1] & int7 -> hypothesis;
「このハイパーテキストは活用し易い」ということは成り立つ
fact21 -> int8: このハイパーテキストは奥まるとすれば「それはしぶといということはない」ということは真実だ; fact22 -> int9: もし「このハイパーテキストは蛤帝だが孤児達でない」ということは嘘であるならそれは遅筋でない; int9 & fact24 -> int10: このハイパーテキストは遅筋でない; fact23 & int10 -> int11: このハイパーテキストはだれるしまた奥まる; int11 -> int12: このハイパーテキストは奥まる; int8 & int12 -> int13: このハイパーテキストはしぶとくない;
$facts$ = fact1: 仮に蛤帝はだれれば「この総回転数は遅筋だ」ということは事実である fact2: なんらかの物は遅筋であるし加えて蛤帝である fact3: もし活用し易いしまたしぶといものはあるなら「この天日塩は奥まる」ということは嘘であるということはない fact4: なんらかの物は喋り難い fact5: 何らかの物は思想・信条だしかつ活用し易い fact6: このハイパーテキストは再検討しない fact7: 仮にこの天日塩は奥まれば「この刑事裁判は遅筋でない一方でだれる」ということは嘘である fact8: もし「ある物は蛤帝だ一方で孤児達でない」ということは成り立たないとすると遅筋でない fact9: 仮にこのハイパーテキストは遅筋であるとしたら「「この刑事裁判は再検討しないけれど蛤帝である」ということは確かだ」ということは嘘である fact10: 「この刑事裁判は主題化する」ということは確かだ fact11: もしもこのハイパーテキストが再検討しないとするとその神役は活用し易いしそれに思想・信条である fact12: あの登記事項証明書は再検討しない fact13: 「このハイパーテキストは蛤帝であるけど孤児達でない」ということは嘘である fact14: もしもこのハイパーテキストは遅筋であるということはないとすればそれはだれるしまた奥まる fact15: この刑事裁判は再検討する fact16: もし仮に何かは奥まるとするとしぶとくない fact17: あの御尾裂きはしぶといしえげつない fact18: ある物が再検討するしおまけにそれがだれるとするとこのハイパーテキストは活用し易い fact19: このハイパーテキストは奥まる fact20: もし「この刑事裁判は遅筋でない一方でだれる」ということは嘘であるとするとこの総回転数は蛤帝である ; $hypothesis$ = 「その神役はしぶといとすれば「この総回転数は蛤帝だ」ということは本当である」ということは成り立たない ; $proof$ = 
fact11 & fact6 -> int1: その神役は活用し易いしかつ思想・信条である; int1 -> int2: その神役は活用し易い; void -> assump1: 以下のように仮定する。その神役はしぶとい; int2 & assump1 -> int3: その神役は活用し易いししぶとい; int3 -> int4: 「とある物は活用し易いしまたそれはしぶとい」ということは成り立つ; int4 & fact3 -> int5: この天日塩は奥まる; int5 & fact7 -> int6: 「この刑事裁判は遅筋でないけれどだれる」ということは成り立たない; int6 & fact20 -> int7: 「この総回転数は蛤帝だ」ということは成り立つ; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: 仮に蛤帝はだれれば「この総回転数は遅筋だ」ということは事実である
事実2: なんらかの物は遅筋であるし加えて蛤帝である
事実3: もし活用し易いしまたしぶといものはあるなら「この天日塩は奥まる」ということは嘘であるということはない
事実4: なんらかの物は喋り難い
事実5: 何らかの物は思想・信条だしかつ活用し易い
事実6: このハイパーテキストは再検討しない
事実7: 仮にこの天日塩は奥まれば「この刑事裁判は遅筋でない一方でだれる」ということは嘘である
事実8: もし「ある物は蛤帝だ一方で孤児達でない」ということは成り立たないとすると遅筋でない
事実9: 仮にこのハイパーテキストは遅筋であるとしたら「「この刑事裁判は再検討しないけれど蛤帝である」ということは確かだ」ということは嘘である
事実10: 「この刑事裁判は主題化する」ということは確かだ
事実11: もしもこのハイパーテキストが再検討しないとするとその神役は活用し易いしそれに思想・信条である
事実12: あの登記事項証明書は再検討しない
事実13: 「このハイパーテキストは蛤帝であるけど孤児達でない」ということは嘘である
事実14: もしもこのハイパーテキストは遅筋であるということはないとすればそれはだれるしまた奥まる
事実15: この刑事裁判は再検討する
事実16: もし仮に何かは奥まるとするとしぶとくない
事実17: あの御尾裂きはしぶといしえげつない
事実18: ある物が再検討するしおまけにそれがだれるとするとこのハイパーテキストは活用し易い
事実19: このハイパーテキストは奥まる
事実20: もし「この刑事裁判は遅筋でない一方でだれる」ということは嘘であるとするとこの総回転数は蛤帝である

仮説: 「その神役はしぶといとすれば「この総回転数は蛤帝だ」ということは本当である」ということは成り立たない
1. 事実11と事実6から、推論1: "その神役は活用し易いしかつ思想・信条である"が導かれる
2. 推論1から、推論2: "その神役は活用し易い"が導かれる
3. 仮定1: 以下のように仮定する。その神役はしぶとい
4. 推論2と仮定1から、推論3: "その神役は活用し易いししぶとい"が導かれる
5. 推論3から、推論4: "「とある物は活用し易いしまたそれはしぶとい」ということは成り立つ"が導かれる
6. 推論4と事実3から、推論5: "この天日塩は奥まる"が導かれる
7. 推論5と事実7から、推論6: "「この刑事裁判は遅筋でないけれどだれる」ということは成り立たない"が導かれる
8. 推論6と事実20から、推論7: "「この総回転数は蛤帝だ」ということは成り立つ"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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