このＤＩＳセクションは根処理だということはない
fact1: もし仮にこの清末は念押しするとすると「その仏教理論は気付き難くないしその上セルｅでない」ということは嘘だ fact2: もし仮に「「何らかのものは気付き難くなくてセルＥでない」ということは事実である」ということは嘘であるならば架橋しない fact3: もしもとある物はアナログ時計であるならすっごい fact4: 「あの商品価値は契約する」ということは成り立つ fact5: 仮に「すっごい」ものがあるならあの生産協同組織は契約するしそれに架橋する fact6: もしもあの商品価値が念押しするならこの清末は契約する fact7: その仏教理論が架橋しないとすればこのＤＩＳセクションは根処理だ fact8: すっごい物はアナログ時計だ fact9: その仏教理論は気付き難いということはない fact10: もしもその仏教理論が念押ししないとしたらこの清末は念押しするということはない fact11: 仮にこの清末が念押ししないとするとあの商品価値は垂下するしかつそれはアナログ時計だ fact12: あるものが夫婦らしいとしたらそれは及び難い fact13: 「あの環境ホルモン物質は契約する」ということは成り立つ fact14: もしも「あの商品価値は契約しない」ということは間違っているとするとこの清末はすっごい fact15: もし仮になんらかのものはアナログ時計であるとすればそれは垂下する fact16: 仮に「何らかのものはすっごいということはないしかつアナログ時計でない」ということは成り立たないとしたらそれは根処理でない fact17: 仮になにかは垂下するなら「それは念押しする」ということは嘘でない
fact14 & fact4 -> int1: この清末はすっごい; fact8 -> int2: もし仮にこの清末がすっごいならそれはアナログ時計だ; int1 & int2 -> int3: この清末はアナログ時計である; fact15 -> int4: 「この清末はアナログ時計である」ということは本当だとしたら垂下する; int3 & int4 -> int5: この清末は垂下する; fact17 -> int6: 仮にこの清末が垂下するとしたらそれは念押しする; int5 & int6 -> int7: この清末は念押しする; int7 & fact1 -> int8: 「その仏教理論は気付き難くなくてそれにそれはセルＥでない」ということは成り立たない; fact2 -> int9: もし「その仏教理論は気付き難くないしセルＥでない」ということは偽であるとしたら架橋しない; int8 & int9 -> int10: その仏教理論は架橋しない; int10 & fact7 -> hypothesis;
「あの生産協同組織は架橋する」ということは事実だ
fact22 -> int11: もし仮にあの商品価値はアナログ時計であるとすればそれはすっごい;
$facts$ = fact1: もし仮にこの清末は念押しするとすると「その仏教理論は気付き難くないしその上セルｅでない」ということは嘘だ fact2: もし仮に「「何らかのものは気付き難くなくてセルＥでない」ということは事実である」ということは嘘であるならば架橋しない fact3: もしもとある物はアナログ時計であるならすっごい fact4: 「あの商品価値は契約する」ということは成り立つ fact5: 仮に「すっごい」ものがあるならあの生産協同組織は契約するしそれに架橋する fact6: もしもあの商品価値が念押しするならこの清末は契約する fact7: その仏教理論が架橋しないとすればこのＤＩＳセクションは根処理だ fact8: すっごい物はアナログ時計だ fact9: その仏教理論は気付き難いということはない fact10: もしもその仏教理論が念押ししないとしたらこの清末は念押しするということはない fact11: 仮にこの清末が念押ししないとするとあの商品価値は垂下するしかつそれはアナログ時計だ fact12: あるものが夫婦らしいとしたらそれは及び難い fact13: 「あの環境ホルモン物質は契約する」ということは成り立つ fact14: もしも「あの商品価値は契約しない」ということは間違っているとするとこの清末はすっごい fact15: もし仮になんらかのものはアナログ時計であるとすればそれは垂下する fact16: 仮に「何らかのものはすっごいということはないしかつアナログ時計でない」ということは成り立たないとしたらそれは根処理でない fact17: 仮になにかは垂下するなら「それは念押しする」ということは嘘でない ; $hypothesis$ = このＤＩＳセクションは根処理だということはない ; $proof$ = 
fact14 & fact4 -> int1: この清末はすっごい; fact8 -> int2: もし仮にこの清末がすっごいならそれはアナログ時計だ; int1 & int2 -> int3: この清末はアナログ時計である; fact15 -> int4: 「この清末はアナログ時計である」ということは本当だとしたら垂下する; int3 & int4 -> int5: この清末は垂下する; fact17 -> int6: 仮にこの清末が垂下するとしたらそれは念押しする; int5 & int6 -> int7: この清末は念押しする; int7 & fact1 -> int8: 「その仏教理論は気付き難くなくてそれにそれはセルＥでない」ということは成り立たない; fact2 -> int9: もし「その仏教理論は気付き難くないしセルＥでない」ということは偽であるとしたら架橋しない; int8 & int9 -> int10: その仏教理論は架橋しない; int10 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮にこの清末は念押しするとすると「その仏教理論は気付き難くないしその上セルｅでない」ということは嘘だ
事実2: もし仮に「「何らかのものは気付き難くなくてセルＥでない」ということは事実である」ということは嘘であるならば架橋しない
事実3: もしもとある物はアナログ時計であるならすっごい
事実4: 「あの商品価値は契約する」ということは成り立つ
事実5: 仮に「すっごい」ものがあるならあの生産協同組織は契約するしそれに架橋する
事実6: もしもあの商品価値が念押しするならこの清末は契約する
事実7: その仏教理論が架橋しないとすればこのＤＩＳセクションは根処理だ
事実8: すっごい物はアナログ時計だ
事実9: その仏教理論は気付き難いということはない
事実10: もしもその仏教理論が念押ししないとしたらこの清末は念押しするということはない
事実11: 仮にこの清末が念押ししないとするとあの商品価値は垂下するしかつそれはアナログ時計だ
事実12: あるものが夫婦らしいとしたらそれは及び難い
事実13: 「あの環境ホルモン物質は契約する」ということは成り立つ
事実14: もしも「あの商品価値は契約しない」ということは間違っているとするとこの清末はすっごい
事実15: もし仮になんらかのものはアナログ時計であるとすればそれは垂下する
事実16: 仮に「何らかのものはすっごいということはないしかつアナログ時計でない」ということは成り立たないとしたらそれは根処理でない
事実17: 仮になにかは垂下するなら「それは念押しする」ということは嘘でない

仮説: このＤＩＳセクションは根処理だということはない
1. 事実14と事実4から、推論1: "この清末はすっごい"が導かれる
2. 事実8から、推論2: "もし仮にこの清末がすっごいならそれはアナログ時計だ"が導かれる
3. 推論1と推論2から、推論3: "この清末はアナログ時計である"が導かれる
4. 事実15から、推論4: "「この清末はアナログ時計である」ということは本当だとしたら垂下する"が導かれる
5. 推論3と推論4から、推論5: "この清末は垂下する"が導かれる
6. 事実17から、推論6: "仮にこの清末が垂下するとしたらそれは念押しする"が導かれる
7. 推論5と推論6から、推論7: "この清末は念押しする"が導かれる
8. 推論7と事実1から、推論8: "「その仏教理論は気付き難くなくてそれにそれはセルＥでない」ということは成り立たない"が導かれる
9. 事実2から、推論9: "もし「その仏教理論は気付き難くないしセルＥでない」ということは偽であるとしたら架橋しない"が導かれる
10. 推論8と推論9から、推論10: "その仏教理論は架橋しない"が導かれる
11. 推論10と事実7から、仮説が否定される

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