そのハッチはカムイユーカラだ
fact1: そのハッチは軟らかいならば「あのシンプルＸは解け易いけれど上り易くない」ということは嘘だ fact2: もし何かは惨めったらしくないとしたら「しれっとするし加えてそれは営造法式である」ということは成り立たない fact3: もし仮に「「あのシンプルＸは解け易いけど上り易くない」ということは成り立つ」ということは成り立たないとするとその諮問は危ない fact4: もし「そのハッチは上り易いということはない一方でそれはカムイユーカラだ」ということは誤りであるとするとあの仮釈放はカムイユーカラだ fact5: もしその諮問は外径でないならばそれは危なくない fact6: その諮問は外径でない fact7: その近代日本文学は解け易くない fact8: もし仮にそのハッチはカムイユーカラであるならば軟らかい fact9: 弛み無くない実質ＧＤＰはない fact10: もし仮にあのシンプルＸは軟らかいとすれば「そのハッチは上り易くないがそれはカムイユーカラである」ということは間違いだ fact11: 「その諮問はカムイユーカラであるがそれは外径でない」ということは事実と異なる fact12: もしもその速度差がしれっとしないとすればあの御坂山地は物悲しいしおまけに転向する fact13: もしも「何かは解け易くないがそれは危ない」ということは成り立たないとすると解け易い fact14: もし「「なんらかのものは実質ＧＤＰである一方で弛み無くない」ということは成り立つ」ということは成り立たないならそれは惨めったらしくない fact15: 解け易くないものは上り易くなくて軟らかくない fact16: 仮にあのシンプルＸは解け易くないとすれば「その諮問は危ない」ということは本当だ fact17: 仮に「その聖史劇はしれっとするし営造法式である」ということは事実と異なるとしたらその速度差はしれっとしない
void -> assump1: 以下のように仮定する。そのハッチはカムイユーカラだ; fact8 & assump1 -> int1: そのハッチは軟らかい; int1 & fact1 -> int2: 「「あのシンプルＸは解け易いがしかしそれは上り易くない」ということは偽である」ということは誤っていない; int2 & fact3 -> int3: その諮問は危ない; fact6 & fact5 -> int4: その諮問は危なくない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
そのハッチはカムイユーカラである
fact22 -> int6: もし仮にあのシンプルＸが解け易くないならば上り易くなくて更に軟らかいということはない; fact18 -> int7: もし「あのシャボン玉は実質ＧＤＰであるがしかし弛み無くない」ということは成り立たないならば「それは惨めったらしくない」ということは真実だ; fact20 -> int8: 「あのシャボン玉は実質ＧＤＰであるがしかし弛み無くない」ということは成り立つということはない; int7 & int8 -> int9: あのシャボン玉は惨めったらしくない; int9 -> int10: あらゆるものは惨めったらしくない; int10 -> int11: その拡張選択モードは惨めったらしくない; fact23 -> int12: その拡張選択モードは惨めったらしいということはないとすると「しれっとするし更に営造法式である」ということは事実と異なる; int11 & int12 -> int13: 「その拡張選択モードがしれっとするしその上それは営造法式だ」ということは間違っている; int13 -> int14: しれっとするしおまけに営造法式だというものはない; int14 -> int15: 「その聖史劇はしれっとするし加えて営造法式だ」ということは確かだということはない; int15 & fact21 -> int16: その速度差はしれっとしない; fact19 & int16 -> int17: この御坂山地は物悲しいし転向する; int17 -> int18: 「この御坂山地は物悲しくない」ということは成り立つということはない;
$facts$ = fact1: そのハッチは軟らかいならば「あのシンプルＸは解け易いけれど上り易くない」ということは嘘だ fact2: もし何かは惨めったらしくないとしたら「しれっとするし加えてそれは営造法式である」ということは成り立たない fact3: もし仮に「「あのシンプルＸは解け易いけど上り易くない」ということは成り立つ」ということは成り立たないとするとその諮問は危ない fact4: もし「そのハッチは上り易いということはない一方でそれはカムイユーカラだ」ということは誤りであるとするとあの仮釈放はカムイユーカラだ fact5: もしその諮問は外径でないならばそれは危なくない fact6: その諮問は外径でない fact7: その近代日本文学は解け易くない fact8: もし仮にそのハッチはカムイユーカラであるならば軟らかい fact9: 弛み無くない実質ＧＤＰはない fact10: もし仮にあのシンプルＸは軟らかいとすれば「そのハッチは上り易くないがそれはカムイユーカラである」ということは間違いだ fact11: 「その諮問はカムイユーカラであるがそれは外径でない」ということは事実と異なる fact12: もしもその速度差がしれっとしないとすればあの御坂山地は物悲しいしおまけに転向する fact13: もしも「何かは解け易くないがそれは危ない」ということは成り立たないとすると解け易い fact14: もし「「なんらかのものは実質ＧＤＰである一方で弛み無くない」ということは成り立つ」ということは成り立たないならそれは惨めったらしくない fact15: 解け易くないものは上り易くなくて軟らかくない fact16: 仮にあのシンプルＸは解け易くないとすれば「その諮問は危ない」ということは本当だ fact17: 仮に「その聖史劇はしれっとするし営造法式である」ということは事実と異なるとしたらその速度差はしれっとしない ; $hypothesis$ = そのハッチはカムイユーカラだ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのハッチはカムイユーカラだ; fact8 & assump1 -> int1: そのハッチは軟らかい; int1 & fact1 -> int2: 「「あのシンプルＸは解け易いがしかしそれは上り易くない」ということは偽である」ということは誤っていない; int2 & fact3 -> int3: その諮問は危ない; fact6 & fact5 -> int4: その諮問は危なくない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: そのハッチは軟らかいならば「あのシンプルＸは解け易いけれど上り易くない」ということは嘘だ
事実2: もし何かは惨めったらしくないとしたら「しれっとするし加えてそれは営造法式である」ということは成り立たない
事実3: もし仮に「「あのシンプルＸは解け易いけど上り易くない」ということは成り立つ」ということは成り立たないとするとその諮問は危ない
事実4: もし「そのハッチは上り易いということはない一方でそれはカムイユーカラだ」ということは誤りであるとするとあの仮釈放はカムイユーカラだ
事実5: もしその諮問は外径でないならばそれは危なくない
事実6: その諮問は外径でない
事実7: その近代日本文学は解け易くない
事実8: もし仮にそのハッチはカムイユーカラであるならば軟らかい
事実9: 弛み無くない実質ＧＤＰはない
事実10: もし仮にあのシンプルＸは軟らかいとすれば「そのハッチは上り易くないがそれはカムイユーカラである」ということは間違いだ
事実11: 「その諮問はカムイユーカラであるがそれは外径でない」ということは事実と異なる
事実12: もしもその速度差がしれっとしないとすればあの御坂山地は物悲しいしおまけに転向する
事実13: もしも「何かは解け易くないがそれは危ない」ということは成り立たないとすると解け易い
事実14: もし「「なんらかのものは実質ＧＤＰである一方で弛み無くない」ということは成り立つ」ということは成り立たないならそれは惨めったらしくない
事実15: 解け易くないものは上り易くなくて軟らかくない
事実16: 仮にあのシンプルＸは解け易くないとすれば「その諮問は危ない」ということは本当だ
事実17: 仮に「その聖史劇はしれっとするし営造法式である」ということは事実と異なるとしたらその速度差はしれっとしない

仮説: そのハッチはカムイユーカラだ
1. 仮定1: 以下のように仮定する。そのハッチはカムイユーカラだ
2. 事実8と仮定1から、推論1: "そのハッチは軟らかい"が導かれる
3. 推論1と事実1から、推論2: "「「あのシンプルＸは解け易いがしかしそれは上り易くない」ということは偽である」ということは誤っていない"が導かれる
4. 推論2と事実3から、推論3: "その諮問は危ない"が導かれる
5. 事実6と事実5から、推論4: "その諮問は危なくない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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