あの累計は概観しない
fact1: 「概観するということはない」ものはある fact2: とあるものは荒っぽくない fact3: その検査値は共鳴し易いということはないかもしくは遣れるということはないかあるいはどちらもだ fact4: もし仮に荒っぽくない物が建国するとするとあの累計は概観する fact5: その検査値は共鳴し易いかまたは遣れないかどちらもだ fact6: 「文書資料は荒っぽくないが建国する」ということは正しい fact7: 「その検査値は建国する」ということは正しい fact8: もしもその検査値が共鳴し易くないならばこの尋常小学読本唱歌は文書資料だ fact9: もしその検査値が共鳴し易くないか遣れないかあるいはどちらもであるとしたらこの尋常小学読本唱歌は文書資料である
fact9 & fact3 -> int1: この尋常小学読本唱歌は文書資料だ; fact6 -> int2: 仮にこの尋常小学読本唱歌が文書資料なら荒っぽくない一方で建国する; int1 & int2 -> int3: この尋常小学読本唱歌は荒っぽくないがしかし建国する; int3 -> int4: 「とある物は荒っぽくないが建国する」ということは成り立つ; int4 & fact4 -> hypothesis;
$facts$ = fact1: 「概観するということはない」ものはある fact2: とあるものは荒っぽくない fact3: その検査値は共鳴し易いということはないかもしくは遣れるということはないかあるいはどちらもだ fact4: もし仮に荒っぽくない物が建国するとするとあの累計は概観する fact5: その検査値は共鳴し易いかまたは遣れないかどちらもだ fact6: 「文書資料は荒っぽくないが建国する」ということは正しい fact7: 「その検査値は建国する」ということは正しい fact8: もしもその検査値が共鳴し易くないならばこの尋常小学読本唱歌は文書資料だ fact9: もしその検査値が共鳴し易くないか遣れないかあるいはどちらもであるとしたらこの尋常小学読本唱歌は文書資料である ; $hypothesis$ = あの累計は概観しない ; $proof$ = 
fact9 & fact3 -> int1: この尋常小学読本唱歌は文書資料だ; fact6 -> int2: 仮にこの尋常小学読本唱歌が文書資料なら荒っぽくない一方で建国する; int1 & int2 -> int3: この尋常小学読本唱歌は荒っぽくないがしかし建国する; int3 -> int4: 「とある物は荒っぽくないが建国する」ということは成り立つ; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: 「概観するということはない」ものはある
事実2: とあるものは荒っぽくない
事実3: その検査値は共鳴し易いということはないかもしくは遣れるということはないかあるいはどちらもだ
事実4: もし仮に荒っぽくない物が建国するとするとあの累計は概観する
事実5: その検査値は共鳴し易いかまたは遣れないかどちらもだ
事実6: 「文書資料は荒っぽくないが建国する」ということは正しい
事実7: 「その検査値は建国する」ということは正しい
事実8: もしもその検査値が共鳴し易くないならばこの尋常小学読本唱歌は文書資料だ
事実9: もしその検査値が共鳴し易くないか遣れないかあるいはどちらもであるとしたらこの尋常小学読本唱歌は文書資料である

仮説: あの累計は概観しない
1. 事実9と事実3から、推論1: "この尋常小学読本唱歌は文書資料だ"が導かれる
2. 事実6から、推論2: "仮にこの尋常小学読本唱歌が文書資料なら荒っぽくない一方で建国する"が導かれる
3. 推論1と推論2から、推論3: "この尋常小学読本唱歌は荒っぽくないがしかし建国する"が導かれる
4. 推論3から、推論4: "「とある物は荒っぽくないが建国する」ということは成り立つ"が導かれる
5. 推論4と事実4から、仮説が否定される

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