その黒米は合同後である
fact1: もし仮にその黒米が決め難くないとするとあの水溶液中は建国しない fact2: もし仮にあの轟きは浮かばれるということはなくて因数分解しないならそれは元来たるない fact3: 「あの水溶液中は輝かしいということはないかもしくはそれは奇声である」ということは成り立つということはない fact4: もし仮にとあるものが建国すれば決め難い fact5: なにかは浮かばれないしかつそれが元来たるないならそれは奇声でない fact6: もし「何らかのものは建国する一方で合同後でない」ということは成り立つということはないならば合同後である fact7: もしも「その黒米は建国するか共存し得ない」ということは確かでないとしたらその支払側は建国する fact8: この営業損失は上がり易いならば「練るかあるいは二文字でないかあるいはどちらもである」ということは成り立たない fact9: もしもあの企業診断が因数分解すればそれが浮かばれないしさらに元来たるない fact10: あの轟きは浮かばれなくてその上因数分解するということはない fact11: あの水溶液中は決め難くないなら「その黒米は建国するがそれは合同後だということはない」ということは成り立たない fact12: あるものが決め難いかそれは共存し得るかもしくは両方だとしたらそれは合同後でない fact13: もし「あの水溶液中は輝かしいということはないかそれは奇声であるかもしくは両方である」ということは嘘であるとすれば建国する fact14: もし仮に「奇声であるということはない」ものがあるならあの轟きは輝かしくてそれは共存し得る fact15: もし仮に「「練るか二文字でないかまたは両方ともである」ということは間違いな」物があればあの企業診断は因数分解する fact16: この営業損失は上がり易い fact17: 何らかのものは決め難いならば「輝かしいということはないかもしくはきったないかもしくは両方ともだ」ということは成り立たない
void -> assump1: 以下のように仮定する。その黒米は決め難いということはない; fact1 & assump1 -> int1: あの水溶液中は建国するということはない; fact3 & fact13 -> int2: あの水溶液中は建国する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その黒米は決め難い; int4 -> int5: その黒米は決め難いかもしくは共存し得るかもしくはどちらもである; fact12 -> int6: もしもその黒米は決め難いか共存し得るかあるいは両方であるとするとそれは合同後でない; int5 & int6 -> hypothesis;
「その支払側は輝かしくないかもしくはそれはきったないかどちらもだ」ということは間違いだ
fact20 -> int7: 仮にその支払側は決め難いとすれば「輝かしくないかもしくはきったないかあるいは両方ともである」ということは成り立たない; fact19 -> int8: もしもその支払側が建国するとすればそれは決め難い; fact21 & fact18 -> int9: 「あの轟きは元来たるない」ということは成り立つ; int9 -> int10: 「元来たるない」ものはある;
$facts$ = fact1: もし仮にその黒米が決め難くないとするとあの水溶液中は建国しない fact2: もし仮にあの轟きは浮かばれるということはなくて因数分解しないならそれは元来たるない fact3: 「あの水溶液中は輝かしいということはないかもしくはそれは奇声である」ということは成り立つということはない fact4: もし仮にとあるものが建国すれば決め難い fact5: なにかは浮かばれないしかつそれが元来たるないならそれは奇声でない fact6: もし「何らかのものは建国する一方で合同後でない」ということは成り立つということはないならば合同後である fact7: もしも「その黒米は建国するか共存し得ない」ということは確かでないとしたらその支払側は建国する fact8: この営業損失は上がり易いならば「練るかあるいは二文字でないかあるいはどちらもである」ということは成り立たない fact9: もしもあの企業診断が因数分解すればそれが浮かばれないしさらに元来たるない fact10: あの轟きは浮かばれなくてその上因数分解するということはない fact11: あの水溶液中は決め難くないなら「その黒米は建国するがそれは合同後だということはない」ということは成り立たない fact12: あるものが決め難いかそれは共存し得るかもしくは両方だとしたらそれは合同後でない fact13: もし「あの水溶液中は輝かしいということはないかそれは奇声であるかもしくは両方である」ということは嘘であるとすれば建国する fact14: もし仮に「奇声であるということはない」ものがあるならあの轟きは輝かしくてそれは共存し得る fact15: もし仮に「「練るか二文字でないかまたは両方ともである」ということは間違いな」物があればあの企業診断は因数分解する fact16: この営業損失は上がり易い fact17: 何らかのものは決め難いならば「輝かしいということはないかもしくはきったないかもしくは両方ともだ」ということは成り立たない ; $hypothesis$ = その黒米は合同後である ; $proof$ = 
void -> assump1: 以下のように仮定する。その黒米は決め難いということはない; fact1 & assump1 -> int1: あの水溶液中は建国するということはない; fact3 & fact13 -> int2: あの水溶液中は建国する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その黒米は決め難い; int4 -> int5: その黒米は決め難いかもしくは共存し得るかもしくはどちらもである; fact12 -> int6: もしもその黒米は決め難いか共存し得るかあるいは両方であるとするとそれは合同後でない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もし仮にその黒米が決め難くないとするとあの水溶液中は建国しない
事実2: もし仮にあの轟きは浮かばれるということはなくて因数分解しないならそれは元来たるない
事実3: 「あの水溶液中は輝かしいということはないかもしくはそれは奇声である」ということは成り立つということはない
事実4: もし仮にとあるものが建国すれば決め難い
事実5: なにかは浮かばれないしかつそれが元来たるないならそれは奇声でない
事実6: もし「何らかのものは建国する一方で合同後でない」ということは成り立つということはないならば合同後である
事実7: もしも「その黒米は建国するか共存し得ない」ということは確かでないとしたらその支払側は建国する
事実8: この営業損失は上がり易いならば「練るかあるいは二文字でないかあるいはどちらもである」ということは成り立たない
事実9: もしもあの企業診断が因数分解すればそれが浮かばれないしさらに元来たるない
事実10: あの轟きは浮かばれなくてその上因数分解するということはない
事実11: あの水溶液中は決め難くないなら「その黒米は建国するがそれは合同後だということはない」ということは成り立たない
事実12: あるものが決め難いかそれは共存し得るかもしくは両方だとしたらそれは合同後でない
事実13: もし「あの水溶液中は輝かしいということはないかそれは奇声であるかもしくは両方である」ということは嘘であるとすれば建国する
事実14: もし仮に「奇声であるということはない」ものがあるならあの轟きは輝かしくてそれは共存し得る
事実15: もし仮に「「練るか二文字でないかまたは両方ともである」ということは間違いな」物があればあの企業診断は因数分解する
事実16: この営業損失は上がり易い
事実17: 何らかのものは決め難いならば「輝かしいということはないかもしくはきったないかもしくは両方ともだ」ということは成り立たない

仮説: その黒米は合同後である
1. 仮定1: 以下のように仮定する。その黒米は決め難いということはない
2. 事実1と仮定1から、推論1: "あの水溶液中は建国するということはない"が導かれる
3. 事実3と事実13から、推論2: "あの水溶液中は建国する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その黒米は決め難い"が導かれる
6. 推論4から、推論5: "その黒米は決め難いかもしくは共存し得るかもしくはどちらもである"が導かれる
7. 事実12から、推論6: "もしもその黒米は決め難いか共存し得るかあるいは両方であるとするとそれは合同後でない"が導かれる
8. 推論5と推論6から、仮説が否定される

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