「このすててこはし捲る」ということは嘘である
fact1: このすててこは連動する fact2: このすててこは新人候補である fact3: このすててこは二十五号布告である fact4: このすててこは近付き易い fact5: あの本堂はし捲る fact6: この仏門はし捲る fact7: このすててこは模倣だ fact8: 「このすててこは女房だ」ということは嘘でない fact9: このすててこは電磁的措置である fact10: もし仮にとある物が悄気返るならそれはし捲るがゼロコスト・オプションでない fact11: その三次元立体内視鏡はし捲る fact12: 「この仏法弘通はし捲る」ということは成り立つ fact13: 赤しものは悄気返る fact14: この御返しはし捲る fact15: その妾腹はし捲る fact16: もしこのすててこが考え深くないけど赤しならばこの衝撃音は赤し fact17: その新兵はし捲る fact18: このすててこはし捲る fact19: もし仮に何らかの物はゼロコスト・オプションでなくてかつ悄気返らないとしたらそれはし捲らない fact20: このすててこは買い易い fact21: あの質的変数はし捲る
fact18 -> hypothesis;
fact18 -> hypothesis;
このすててこはし捲らない
fact22 -> int1: このすててこがゼロコスト・オプションでなくてそれが悄気返らないとすればし捲らない;
$facts$ = fact1: このすててこは連動する fact2: このすててこは新人候補である fact3: このすててこは二十五号布告である fact4: このすててこは近付き易い fact5: あの本堂はし捲る fact6: この仏門はし捲る fact7: このすててこは模倣だ fact8: 「このすててこは女房だ」ということは嘘でない fact9: このすててこは電磁的措置である fact10: もし仮にとある物が悄気返るならそれはし捲るがゼロコスト・オプションでない fact11: その三次元立体内視鏡はし捲る fact12: 「この仏法弘通はし捲る」ということは成り立つ fact13: 赤しものは悄気返る fact14: この御返しはし捲る fact15: その妾腹はし捲る fact16: もしこのすててこが考え深くないけど赤しならばこの衝撃音は赤し fact17: その新兵はし捲る fact18: このすててこはし捲る fact19: もし仮に何らかの物はゼロコスト・オプションでなくてかつ悄気返らないとしたらそれはし捲らない fact20: このすててこは買い易い fact21: あの質的変数はし捲る ; $hypothesis$ = 「このすててこはし捲る」ということは嘘である ; $proof$ = 
fact18 -> hypothesis; __DISPROVED__
事実1: このすててこは連動する
事実2: このすててこは新人候補である
事実3: このすててこは二十五号布告である
事実4: このすててこは近付き易い
事実5: あの本堂はし捲る
事実6: この仏門はし捲る
事実7: このすててこは模倣だ
事実8: 「このすててこは女房だ」ということは嘘でない
事実9: このすててこは電磁的措置である
事実10: もし仮にとある物が悄気返るならそれはし捲るがゼロコスト・オプションでない
事実11: その三次元立体内視鏡はし捲る
事実12: 「この仏法弘通はし捲る」ということは成り立つ
事実13: 赤しものは悄気返る
事実14: この御返しはし捲る
事実15: その妾腹はし捲る
事実16: もしこのすててこが考え深くないけど赤しならばこの衝撃音は赤し
事実17: その新兵はし捲る
事実18: このすててこはし捲る
事実19: もし仮に何らかの物はゼロコスト・オプションでなくてかつ悄気返らないとしたらそれはし捲らない
事実20: このすててこは買い易い
事実21: あの質的変数はし捲る

仮説: 「このすててこはし捲る」ということは嘘である
1. 事実18から、仮説が否定される

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