「「あの下行結腸は日本最大級だということはない一方で生々しい」ということは成り立つ」ということは偽である
fact1: もし何らかのものが誇示するがしかしそれが染影するということはないならばそのグリセミックインデックスは堪り易い fact2: もしもこの大自然が伝わり易くないとすればあの下行結腸は旦那場でない fact3: 仮にこの大自然は伝わり易いとすると「そのグリセミックインデックスは早期発見・早期治療だ」ということは事実である fact4: 「その廃車は旦那場だしさらに示唆出来る」ということは成り立つ fact5: あの下行結腸は生々しいしおまけに苦々しい fact6: そのグリセミックインデックスは布でない fact7: もしもある物が早期発見・早期治療なら布だ fact8: そのグリセミックインデックスは伝わり易い fact9: 仮に「あの下行結腸は伝わり易くない」ということは成り立つとするとそれは日本最大級でない fact10: もしこの大自然が苦々しかないとしたらあの下行結腸は伝わり易くないしおまけに苦々しいということはない fact11: この大自然が布だということはないならあの下行結腸は伝わり易くて加えて早期発見・早期治療だ fact12: 仮になにかは堪り易いならばそれは旦那場であるがしかし苦々しかない fact13: 何らかのものは伝わり易いなら「日本最大級でない一方で生々しい」ということは成り立たない fact14: もし仮にこの大自然が伝わり易くないならばあの下行結腸は旦那場でないし伝わり易くない fact15: そのヨーロッパ学界は誇示するけどそれは染影しない
void -> assump1: 以下のように仮定する。この大自然は伝わり易い; fact3 & assump1 -> int1: 「そのグリセミックインデックスは早期発見・早期治療である」ということは成り立つ; fact7 -> int2: もし仮に「そのグリセミックインデックスは早期発見・早期治療だ」ということは正しいとしたら布だ; int1 & int2 -> int3: そのグリセミックインデックスは布である; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> int5: この大自然は伝わり易いということはない; int5 & fact14 -> int6: あの下行結腸は旦那場でないしそれに伝わり易くない; int6 -> int7: あの下行結腸は伝わり易くない; int7 & fact9 -> int8: あの下行結腸は日本最大級でない; fact5 -> int9: あの下行結腸は生々しい; int8 & int9 -> hypothesis;
「あの下行結腸は日本最大級でないけどそれは生々しい」ということは成り立たない
fact19 -> int10: あの下行結腸は伝わり易いとすると「日本最大級でないがしかし生々しい」ということは間違っている; fact20 -> int11: もしもそのグリセミックインデックスが堪り易いとしたら旦那場であるが苦々しかない; fact16 -> int12: なにがしかのものは誇示するがしかし染影しない; int12 & fact18 -> int13: 「そのグリセミックインデックスは堪り易い」ということは本当だ; int11 & int13 -> int14: そのグリセミックインデックスは旦那場だがしかしそれは苦々しかない; int14 -> int15: 「旦那場だ一方で苦々しかない」物はある;
$facts$ = fact1: もし何らかのものが誇示するがしかしそれが染影するということはないならばそのグリセミックインデックスは堪り易い fact2: もしもこの大自然が伝わり易くないとすればあの下行結腸は旦那場でない fact3: 仮にこの大自然は伝わり易いとすると「そのグリセミックインデックスは早期発見・早期治療だ」ということは事実である fact4: 「その廃車は旦那場だしさらに示唆出来る」ということは成り立つ fact5: あの下行結腸は生々しいしおまけに苦々しい fact6: そのグリセミックインデックスは布でない fact7: もしもある物が早期発見・早期治療なら布だ fact8: そのグリセミックインデックスは伝わり易い fact9: 仮に「あの下行結腸は伝わり易くない」ということは成り立つとするとそれは日本最大級でない fact10: もしこの大自然が苦々しかないとしたらあの下行結腸は伝わり易くないしおまけに苦々しいということはない fact11: この大自然が布だということはないならあの下行結腸は伝わり易くて加えて早期発見・早期治療だ fact12: 仮になにかは堪り易いならばそれは旦那場であるがしかし苦々しかない fact13: 何らかのものは伝わり易いなら「日本最大級でない一方で生々しい」ということは成り立たない fact14: もし仮にこの大自然が伝わり易くないならばあの下行結腸は旦那場でないし伝わり易くない fact15: そのヨーロッパ学界は誇示するけどそれは染影しない ; $hypothesis$ = 「「あの下行結腸は日本最大級だということはない一方で生々しい」ということは成り立つ」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。この大自然は伝わり易い; fact3 & assump1 -> int1: 「そのグリセミックインデックスは早期発見・早期治療である」ということは成り立つ; fact7 -> int2: もし仮に「そのグリセミックインデックスは早期発見・早期治療だ」ということは正しいとしたら布だ; int1 & int2 -> int3: そのグリセミックインデックスは布である; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> int5: この大自然は伝わり易いということはない; int5 & fact14 -> int6: あの下行結腸は旦那場でないしそれに伝わり易くない; int6 -> int7: あの下行結腸は伝わり易くない; int7 & fact9 -> int8: あの下行結腸は日本最大級でない; fact5 -> int9: あの下行結腸は生々しい; int8 & int9 -> hypothesis; __DISPROVED__
事実1: もし何らかのものが誇示するがしかしそれが染影するということはないならばそのグリセミックインデックスは堪り易い
事実2: もしもこの大自然が伝わり易くないとすればあの下行結腸は旦那場でない
事実3: 仮にこの大自然は伝わり易いとすると「そのグリセミックインデックスは早期発見・早期治療だ」ということは事実である
事実4: 「その廃車は旦那場だしさらに示唆出来る」ということは成り立つ
事実5: あの下行結腸は生々しいしおまけに苦々しい
事実6: そのグリセミックインデックスは布でない
事実7: もしもある物が早期発見・早期治療なら布だ
事実8: そのグリセミックインデックスは伝わり易い
事実9: 仮に「あの下行結腸は伝わり易くない」ということは成り立つとするとそれは日本最大級でない
事実10: もしこの大自然が苦々しかないとしたらあの下行結腸は伝わり易くないしおまけに苦々しいということはない
事実11: この大自然が布だということはないならあの下行結腸は伝わり易くて加えて早期発見・早期治療だ
事実12: 仮になにかは堪り易いならばそれは旦那場であるがしかし苦々しかない
事実13: 何らかのものは伝わり易いなら「日本最大級でない一方で生々しい」ということは成り立たない
事実14: もし仮にこの大自然が伝わり易くないならばあの下行結腸は旦那場でないし伝わり易くない
事実15: そのヨーロッパ学界は誇示するけどそれは染影しない

仮説: 「「あの下行結腸は日本最大級だということはない一方で生々しい」ということは成り立つ」ということは偽である
1. 仮定1: 以下のように仮定する。この大自然は伝わり易い
2. 事実3と仮定1から、推論1: "「そのグリセミックインデックスは早期発見・早期治療である」ということは成り立つ"が導かれる
3. 事実7から、推論2: "もし仮に「そのグリセミックインデックスは早期発見・早期治療だ」ということは正しいとしたら布だ"が導かれる
4. 推論1と推論2から、推論3: "そのグリセミックインデックスは布である"が導かれる
5. 推論3と事実6から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この大自然は伝わり易いということはない"が導かれる
7. 推論5と事実14から、推論6: "あの下行結腸は旦那場でないしそれに伝わり易くない"が導かれる
8. 推論6から、推論7: "あの下行結腸は伝わり易くない"が導かれる
9. 推論7と事実9から、推論8: "あの下行結腸は日本最大級でない"が導かれる
10. 事実5から、推論9: "あの下行結腸は生々しい"が導かれる
11. 推論8と推論9から、仮説が否定される

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