このヒステリーは十四日号でない
fact1: その基本月額は闇である fact2: そのコーンスターチはひらひらするとすれば「その基本月額は生き易い」ということは本当である fact3: 「「そのコーンスターチは厳めしくらないけど今宵だ」ということは事実だ」ということは間違いである fact4: 「仮にそのコーンスターチが選択し易くないとすればこのヒステリーは生き易くないけどそれはひらひらする」ということは誤りであるということはない fact5: もしこの一族が後ろ暗いならばこのヒステリーは十四日号である fact6: 仮にある物が選択し易いとするとこの一族は後ろ暗い fact7: もし「生き易いか選択し易い」ものがあるとしたらこの一族は後ろ暗い fact8: もしその基本月額が後ろ暗くないならそのコーンスターチは選択し易くない fact9: 生き易いということはないものは十四日号でない fact10: もし仮にこのヒステリーが今宵だとしたらそのコーンスターチはひらひらする fact11: もしも「そのコーンスターチは厳めしい」ということは成り立つとしたらひらひらする fact12: 「「そのコーンスターチは厳めしいしさらにそれは今宵だ」ということは偽だ」ということは成り立つ fact13: もし「その基本月額は俗っぽくない」ということは本当なら後ろ暗くてさらに選択し易い fact14: もしもいじらしくないものがあるとするとその恒常性は何列でない fact15: もし仮にある物は大人っぽくないとすれば「「後ろ暗くないか俗っぽいかまたはどちらもである」ということは真実だ」ということは嘘だ fact16: そのグルコースはいじらしくない fact17: もしもその基本月額が後ろ暗いならこの一族は生き易い fact18: 何かは何列であるということはないとしたらそれは発生し易い半鐘である fact19: もしも「「この一族は後ろ暗くないかもしくは俗っぽいか両方である」ということは事実である」ということは嘘だとするとその基本月額は後ろ暗いということはない fact20: 「そのコーンスターチは厳めしくらないけど今宵だ」ということは事実と異なるならそれはひらひらする fact21: もしこの一族は大人っぽいしかつ俗っぽいとしたら「その基本月額は俗っぽくない」ということは成り立つ
fact20 & fact3 -> int1: そのコーンスターチはひらひらする; int1 & fact2 -> int2: その基本月額は生き易い; int2 -> int3: その基本月額は生き易いかもしくはそれは選択し易い; int3 -> int4: ある物は生き易いかもしくは選択し易いかまたは両方だ; int4 & fact7 -> int5: 「この一族は後ろ暗い」ということは成り立つ; int5 & fact5 -> hypothesis;
「このヒステリーは十四日号でない」ということは確かだ
fact23 -> int6: このヒステリーが生き易くないならそれは十四日号でない; fact29 -> int7: もしもこの一族は大人っぽくないとすると「後ろ暗くないか俗っぽいかまたは両方ともである」ということは誤っている; fact25 -> int8: もし「その恒常性は何列でない」ということは本当であるとしたらそれは発生し易くてまた半鐘だ; fact26 -> int9: とあるものはいじらしくない; int9 & fact27 -> int10: 「その恒常性は何列でない」ということは事実だ; int8 & int10 -> int11: その恒常性は発生し易いしさらに半鐘である; int11 -> int12: その恒常性は発生し易い; int12 -> int13: 「発生し易い」ものはある;
$facts$ = fact1: その基本月額は闇である fact2: そのコーンスターチはひらひらするとすれば「その基本月額は生き易い」ということは本当である fact3: 「「そのコーンスターチは厳めしくらないけど今宵だ」ということは事実だ」ということは間違いである fact4: 「仮にそのコーンスターチが選択し易くないとすればこのヒステリーは生き易くないけどそれはひらひらする」ということは誤りであるということはない fact5: もしこの一族が後ろ暗いならばこのヒステリーは十四日号である fact6: 仮にある物が選択し易いとするとこの一族は後ろ暗い fact7: もし「生き易いか選択し易い」ものがあるとしたらこの一族は後ろ暗い fact8: もしその基本月額が後ろ暗くないならそのコーンスターチは選択し易くない fact9: 生き易いということはないものは十四日号でない fact10: もし仮にこのヒステリーが今宵だとしたらそのコーンスターチはひらひらする fact11: もしも「そのコーンスターチは厳めしい」ということは成り立つとしたらひらひらする fact12: 「「そのコーンスターチは厳めしいしさらにそれは今宵だ」ということは偽だ」ということは成り立つ fact13: もし「その基本月額は俗っぽくない」ということは本当なら後ろ暗くてさらに選択し易い fact14: もしもいじらしくないものがあるとするとその恒常性は何列でない fact15: もし仮にある物は大人っぽくないとすれば「「後ろ暗くないか俗っぽいかまたはどちらもである」ということは真実だ」ということは嘘だ fact16: そのグルコースはいじらしくない fact17: もしもその基本月額が後ろ暗いならこの一族は生き易い fact18: 何かは何列であるということはないとしたらそれは発生し易い半鐘である fact19: もしも「「この一族は後ろ暗くないかもしくは俗っぽいか両方である」ということは事実である」ということは嘘だとするとその基本月額は後ろ暗いということはない fact20: 「そのコーンスターチは厳めしくらないけど今宵だ」ということは事実と異なるならそれはひらひらする fact21: もしこの一族は大人っぽいしかつ俗っぽいとしたら「その基本月額は俗っぽくない」ということは成り立つ ; $hypothesis$ = このヒステリーは十四日号でない ; $proof$ = 
fact20 & fact3 -> int1: そのコーンスターチはひらひらする; int1 & fact2 -> int2: その基本月額は生き易い; int2 -> int3: その基本月額は生き易いかもしくはそれは選択し易い; int3 -> int4: ある物は生き易いかもしくは選択し易いかまたは両方だ; int4 & fact7 -> int5: 「この一族は後ろ暗い」ということは成り立つ; int5 & fact5 -> hypothesis; __DISPROVED__
事実1: その基本月額は闇である
事実2: そのコーンスターチはひらひらするとすれば「その基本月額は生き易い」ということは本当である
事実3: 「「そのコーンスターチは厳めしくらないけど今宵だ」ということは事実だ」ということは間違いである
事実4: 「仮にそのコーンスターチが選択し易くないとすればこのヒステリーは生き易くないけどそれはひらひらする」ということは誤りであるということはない
事実5: もしこの一族が後ろ暗いならばこのヒステリーは十四日号である
事実6: 仮にある物が選択し易いとするとこの一族は後ろ暗い
事実7: もし「生き易いか選択し易い」ものがあるとしたらこの一族は後ろ暗い
事実8: もしその基本月額が後ろ暗くないならそのコーンスターチは選択し易くない
事実9: 生き易いということはないものは十四日号でない
事実10: もし仮にこのヒステリーが今宵だとしたらそのコーンスターチはひらひらする
事実11: もしも「そのコーンスターチは厳めしい」ということは成り立つとしたらひらひらする
事実12: 「「そのコーンスターチは厳めしいしさらにそれは今宵だ」ということは偽だ」ということは成り立つ
事実13: もし「その基本月額は俗っぽくない」ということは本当なら後ろ暗くてさらに選択し易い
事実14: もしもいじらしくないものがあるとするとその恒常性は何列でない
事実15: もし仮にある物は大人っぽくないとすれば「「後ろ暗くないか俗っぽいかまたはどちらもである」ということは真実だ」ということは嘘だ
事実16: そのグルコースはいじらしくない
事実17: もしもその基本月額が後ろ暗いならこの一族は生き易い
事実18: 何かは何列であるということはないとしたらそれは発生し易い半鐘である
事実19: もしも「「この一族は後ろ暗くないかもしくは俗っぽいか両方である」ということは事実である」ということは嘘だとするとその基本月額は後ろ暗いということはない
事実20: 「そのコーンスターチは厳めしくらないけど今宵だ」ということは事実と異なるならそれはひらひらする
事実21: もしこの一族は大人っぽいしかつ俗っぽいとしたら「その基本月額は俗っぽくない」ということは成り立つ

仮説: このヒステリーは十四日号でない
1. 事実20と事実3から、推論1: "そのコーンスターチはひらひらする"が導かれる
2. 推論1と事実2から、推論2: "その基本月額は生き易い"が導かれる
3. 推論2から、推論3: "その基本月額は生き易いかもしくはそれは選択し易い"が導かれる
4. 推論3から、推論4: "ある物は生き易いかもしくは選択し易いかまたは両方だ"が導かれる
5. 推論4と事実7から、推論5: "「この一族は後ろ暗い」ということは成り立つ"が導かれる
6. 推論5と事実5から、仮説が否定される

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