あの柏崎少女監禁事件は溜まらない
fact1: もし「あの柏崎少女監禁事件は自己目的化する」ということは正しいとするとあの正木は溜まる一方で入輿でない fact2: あの柏崎少女監禁事件は溜まる fact3: 仮に「何らかのものは超越しないしかつそれは自己目的化するということはない」ということは偽であるとすれば自己目的化する fact4: あの八世紀は溜まる fact5: あの給与所得者は溜まる fact6: あの柏崎少女監禁事件は支持し続ける
fact2 -> hypothesis;
あの正木は溜まる
fact7 -> int1: 仮に「あの柏崎少女監禁事件が超越しないしさらにそれは自己目的化しない」ということは確かでないとしたら自己目的化する;
$facts$ = fact1: もし「あの柏崎少女監禁事件は自己目的化する」ということは正しいとするとあの正木は溜まる一方で入輿でない fact2: あの柏崎少女監禁事件は溜まる fact3: 仮に「何らかのものは超越しないしかつそれは自己目的化するということはない」ということは偽であるとすれば自己目的化する fact4: あの八世紀は溜まる fact5: あの給与所得者は溜まる fact6: あの柏崎少女監禁事件は支持し続ける ; $hypothesis$ = あの柏崎少女監禁事件は溜まらない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: もし「あの柏崎少女監禁事件は自己目的化する」ということは正しいとするとあの正木は溜まる一方で入輿でない
事実2: あの柏崎少女監禁事件は溜まる
事実3: 仮に「何らかのものは超越しないしかつそれは自己目的化するということはない」ということは偽であるとすれば自己目的化する
事実4: あの八世紀は溜まる
事実5: あの給与所得者は溜まる
事実6: あの柏崎少女監禁事件は支持し続ける

仮説: あの柏崎少女監禁事件は溜まらない
1. 事実2から、仮説が否定される

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