あの総監は職発でない
fact1: あの官給品が下がり始めるけど名乗り出ないならあの総監は職発である fact2: あの二敗が臣従するし柏餅であるならあの総監は職発であるということはない fact3: もし「この生首は縁遠い一方でそれは場模様でない」ということは誤りであるならばあの官給品は場模様であるということはない fact4: 「縁遠くない」物はある fact5: もしあの官給品が貼付でないならあの二敗は臣従するし柏餅である fact6: もし仮になんらかの物は苦しならば「「それは縁遠いしそれは場模様でない」ということは本当だ」ということは嘘である fact7: もしこの生首はライトアップでないとすると苦ししその上抱球である fact8: 仮にあの二敗が柏餅ならあの官給品は下がり始める一方でそれは名乗り出るということはない fact9: ある物が場模様でないならばそれは差し向けるということはないかそれは馬鈴書でない fact10: 「あの二敗は柏餅であるか臣従しない」ということは嘘であるとするとその請願書は職発だということはない fact11: もし仮にあの官給品が差し向ければ貼付である fact12: この生首はライトアップでない fact13: もしもなにかは下がり始めるかもしくはそれは職発でないか両方だとすると下がり始める fact14: あの二敗は柏餅だ
fact8 & fact14 -> int1: あの官給品は下がり始めるがそれは名乗り出ない; int1 & fact1 -> hypothesis;
その請願書は下がり始める
fact18 -> int2: その請願書は下がり始めるかあるいは職発でないなら下がり始める;
$facts$ = fact1: あの官給品が下がり始めるけど名乗り出ないならあの総監は職発である fact2: あの二敗が臣従するし柏餅であるならあの総監は職発であるということはない fact3: もし「この生首は縁遠い一方でそれは場模様でない」ということは誤りであるならばあの官給品は場模様であるということはない fact4: 「縁遠くない」物はある fact5: もしあの官給品が貼付でないならあの二敗は臣従するし柏餅である fact6: もし仮になんらかの物は苦しならば「「それは縁遠いしそれは場模様でない」ということは本当だ」ということは嘘である fact7: もしこの生首はライトアップでないとすると苦ししその上抱球である fact8: 仮にあの二敗が柏餅ならあの官給品は下がり始める一方でそれは名乗り出るということはない fact9: ある物が場模様でないならばそれは差し向けるということはないかそれは馬鈴書でない fact10: 「あの二敗は柏餅であるか臣従しない」ということは嘘であるとするとその請願書は職発だということはない fact11: もし仮にあの官給品が差し向ければ貼付である fact12: この生首はライトアップでない fact13: もしもなにかは下がり始めるかもしくはそれは職発でないか両方だとすると下がり始める fact14: あの二敗は柏餅だ ; $hypothesis$ = あの総監は職発でない ; $proof$ = 
fact8 & fact14 -> int1: あの官給品は下がり始めるがそれは名乗り出ない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: あの官給品が下がり始めるけど名乗り出ないならあの総監は職発である
事実2: あの二敗が臣従するし柏餅であるならあの総監は職発であるということはない
事実3: もし「この生首は縁遠い一方でそれは場模様でない」ということは誤りであるならばあの官給品は場模様であるということはない
事実4: 「縁遠くない」物はある
事実5: もしあの官給品が貼付でないならあの二敗は臣従するし柏餅である
事実6: もし仮になんらかの物は苦しならば「「それは縁遠いしそれは場模様でない」ということは本当だ」ということは嘘である
事実7: もしこの生首はライトアップでないとすると苦ししその上抱球である
事実8: 仮にあの二敗が柏餅ならあの官給品は下がり始める一方でそれは名乗り出るということはない
事実9: ある物が場模様でないならばそれは差し向けるということはないかそれは馬鈴書でない
事実10: 「あの二敗は柏餅であるか臣従しない」ということは嘘であるとするとその請願書は職発だということはない
事実11: もし仮にあの官給品が差し向ければ貼付である
事実12: この生首はライトアップでない
事実13: もしもなにかは下がり始めるかもしくはそれは職発でないか両方だとすると下がり始める
事実14: あの二敗は柏餅だ

仮説: あの総監は職発でない
1. 事実8と事実14から、推論1: "あの官給品は下がり始めるがそれは名乗り出ない"が導かれる
2. 推論1と事実1から、仮説が否定される

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