あの云々は低くない
fact1: もしこの第五位がどぎついとしたらあの云々は新政権である fact2: あのＣＩＳＴはさもしい fact3: 「あのセンターハウスはＩＤＭだ」ということは事実である fact4: 他愛無い物はどぎつい fact5: 優先出資は他愛無い fact6: 「この五十分は他愛無くないかもしくは苦しいということはないかあるいは両方ともである」ということは成り立たない fact7: もしも「「なにがしかの物はＩＤＭで更にそれは低い」ということは成り立つ」ということは成り立たないとすれば低くない fact8: 仮に何らかの物が新政権なら低い fact9: もしも「この五十分は他愛無くないかまたは苦しくないかまたは両方だ」ということは成り立たないならあのセンターハウスは他愛無いということはない fact10: 「なんらかの物は全五種類だということはないけど現われる」ということは嘘なら新政権でない fact11: もしもあのセンターハウスがＩＤＭであるとすればこの第五位は優先出資である fact12: 仮にあのＣＩＳＴが捨て為さらないかまたはそれがさもしいならばこの第五位は鳴き叫ばない fact13: なんらかの物は優先出資でないなら「それはＩＤＭでしかも低い」ということは誤っている fact14: 仮にこの第五位は鳴き叫ばないとしたら「全五種類でないけれど現われる」ということは間違いである fact15: この第五位は移築する fact16: そのアイテム・カテゴリーは低い fact17: あのセンターハウスが他愛無くないしまたどぎつかないならあの云々は優先出資でない
fact11 & fact3 -> int1: 「この第五位は優先出資である」ということは事実である; fact5 -> int2: もし仮にこの第五位は優先出資であるとしたらそれは他愛無い; int1 & int2 -> int3: この第五位は他愛無い; fact4 -> int4: もしこの第五位が他愛無いならどぎつい; int3 & int4 -> int5: この第五位はどぎつい; int5 & fact1 -> int6: 「あの云々は新政権である」ということは成り立つ; fact8 -> int7: 仮にあの云々は新政権であるなら低い; int6 & int7 -> hypothesis;
あの云々は低くない
fact25 -> int8: 「あの云々はＩＤＭであるし更に低い」ということは真実でないとすれば低くない; fact18 -> int9: あの云々は優先出資でないとすれば「ＩＤＭであるし低い」ということは成り立たない; fact24 & fact23 -> int10: あのセンターハウスは他愛無くない; fact21 -> int11: 「この第五位は全五種類でない一方で現われる」ということは偽であるとしたら「新政権でない」ということは間違っていない; fact22 -> int12: あのＣＩＳＴは捨て為さらないかさもしいかもしくは両方である; fact26 & int12 -> int13: この第五位は鳴き叫ばない; fact20 & int13 -> int14: 「この第五位は全五種類でない一方でそれは現われる」ということは偽だ; int11 & int14 -> int15: 「この第五位は新政権でない」ということは成り立つ; int15 -> int16: 何らかの物は新政権でない;
$facts$ = fact1: もしこの第五位がどぎついとしたらあの云々は新政権である fact2: あのＣＩＳＴはさもしい fact3: 「あのセンターハウスはＩＤＭだ」ということは事実である fact4: 他愛無い物はどぎつい fact5: 優先出資は他愛無い fact6: 「この五十分は他愛無くないかもしくは苦しいということはないかあるいは両方ともである」ということは成り立たない fact7: もしも「「なにがしかの物はＩＤＭで更にそれは低い」ということは成り立つ」ということは成り立たないとすれば低くない fact8: 仮に何らかの物が新政権なら低い fact9: もしも「この五十分は他愛無くないかまたは苦しくないかまたは両方だ」ということは成り立たないならあのセンターハウスは他愛無いということはない fact10: 「なんらかの物は全五種類だということはないけど現われる」ということは嘘なら新政権でない fact11: もしもあのセンターハウスがＩＤＭであるとすればこの第五位は優先出資である fact12: 仮にあのＣＩＳＴが捨て為さらないかまたはそれがさもしいならばこの第五位は鳴き叫ばない fact13: なんらかの物は優先出資でないなら「それはＩＤＭでしかも低い」ということは誤っている fact14: 仮にこの第五位は鳴き叫ばないとしたら「全五種類でないけれど現われる」ということは間違いである fact15: この第五位は移築する fact16: そのアイテム・カテゴリーは低い fact17: あのセンターハウスが他愛無くないしまたどぎつかないならあの云々は優先出資でない ; $hypothesis$ = あの云々は低くない ; $proof$ = 
fact11 & fact3 -> int1: 「この第五位は優先出資である」ということは事実である; fact5 -> int2: もし仮にこの第五位は優先出資であるとしたらそれは他愛無い; int1 & int2 -> int3: この第五位は他愛無い; fact4 -> int4: もしこの第五位が他愛無いならどぎつい; int3 & int4 -> int5: この第五位はどぎつい; int5 & fact1 -> int6: 「あの云々は新政権である」ということは成り立つ; fact8 -> int7: 仮にあの云々は新政権であるなら低い; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もしこの第五位がどぎついとしたらあの云々は新政権である
事実2: あのＣＩＳＴはさもしい
事実3: 「あのセンターハウスはＩＤＭだ」ということは事実である
事実4: 他愛無い物はどぎつい
事実5: 優先出資は他愛無い
事実6: 「この五十分は他愛無くないかもしくは苦しいということはないかあるいは両方ともである」ということは成り立たない
事実7: もしも「「なにがしかの物はＩＤＭで更にそれは低い」ということは成り立つ」ということは成り立たないとすれば低くない
事実8: 仮に何らかの物が新政権なら低い
事実9: もしも「この五十分は他愛無くないかまたは苦しくないかまたは両方だ」ということは成り立たないならあのセンターハウスは他愛無いということはない
事実10: 「なんらかの物は全五種類だということはないけど現われる」ということは嘘なら新政権でない
事実11: もしもあのセンターハウスがＩＤＭであるとすればこの第五位は優先出資である
事実12: 仮にあのＣＩＳＴが捨て為さらないかまたはそれがさもしいならばこの第五位は鳴き叫ばない
事実13: なんらかの物は優先出資でないなら「それはＩＤＭでしかも低い」ということは誤っている
事実14: 仮にこの第五位は鳴き叫ばないとしたら「全五種類でないけれど現われる」ということは間違いである
事実15: この第五位は移築する
事実16: そのアイテム・カテゴリーは低い
事実17: あのセンターハウスが他愛無くないしまたどぎつかないならあの云々は優先出資でない

仮説: あの云々は低くない
1. 事実11と事実3から、推論1: "「この第五位は優先出資である」ということは事実である"が導かれる
2. 事実5から、推論2: "もし仮にこの第五位は優先出資であるとしたらそれは他愛無い"が導かれる
3. 推論1と推論2から、推論3: "この第五位は他愛無い"が導かれる
4. 事実4から、推論4: "もしこの第五位が他愛無いならどぎつい"が導かれる
5. 推論3と推論4から、推論5: "この第五位はどぎつい"が導かれる
6. 推論5と事実1から、推論6: "「あの云々は新政権である」ということは成り立つ"が導かれる
7. 事実8から、推論7: "仮にあの云々は新政権であるなら低い"が導かれる
8. 推論6と推論7から、仮説が否定される

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