あの六百八十四部隊は可笑しいということはない
fact1: もし仮に「減少し始めるということはない」ものがあるとしたらあの六百八十四部隊は可笑しい fact2: もしあのクロロフィリンが上げ過ぎないしまたそれは可笑しくないとすればこの土・日曜は可笑しい fact3: 「この施工者は可笑しい」ということは確かである fact4: もしも「減少し始める」ものはあれば「その人形職人は可笑しい」ということは成り立つ fact5: 仮に「「登記すらないし減少し始める」ということは間違っている」ものがあるならあの六百八十四部隊は可笑しい fact6: それは登記すらなくてかつ減少し始めるというものはない fact7: この土・日曜が可笑しいとするとあの六百八十四部隊は可笑しいということはない fact8: 仮に「「荒ぶしその上上げ過ぎる」ということは成り立たない」物があるならあの六百八十四部隊は可笑しくない fact9: もしもなにがしかの物は可笑しくないとすれば「それは来易くないしそれは減少し始める」ということは間違いだ
fact6 -> int1: 「その人形職人は登記すらないが減少し始める」ということは誤りである; int1 -> int2: 「「登記すらないけど減少し始める」ということは誤りである」ものはある; int2 & fact5 -> hypothesis;
「あの六百八十四部隊は来易くない一方で減少し始める」ということは成り立たない
fact12 -> int3: もしもあの六百八十四部隊は可笑しくないなら「「それは来易くないが減少し始める」ということは事実だ」ということは偽である;
$facts$ = fact1: もし仮に「減少し始めるということはない」ものがあるとしたらあの六百八十四部隊は可笑しい fact2: もしあのクロロフィリンが上げ過ぎないしまたそれは可笑しくないとすればこの土・日曜は可笑しい fact3: 「この施工者は可笑しい」ということは確かである fact4: もしも「減少し始める」ものはあれば「その人形職人は可笑しい」ということは成り立つ fact5: 仮に「「登記すらないし減少し始める」ということは間違っている」ものがあるならあの六百八十四部隊は可笑しい fact6: それは登記すらなくてかつ減少し始めるというものはない fact7: この土・日曜が可笑しいとするとあの六百八十四部隊は可笑しいということはない fact8: 仮に「「荒ぶしその上上げ過ぎる」ということは成り立たない」物があるならあの六百八十四部隊は可笑しくない fact9: もしもなにがしかの物は可笑しくないとすれば「それは来易くないしそれは減少し始める」ということは間違いだ ; $hypothesis$ = あの六百八十四部隊は可笑しいということはない ; $proof$ = 
fact6 -> int1: 「その人形職人は登記すらないが減少し始める」ということは誤りである; int1 -> int2: 「「登記すらないけど減少し始める」ということは誤りである」ものはある; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮に「減少し始めるということはない」ものがあるとしたらあの六百八十四部隊は可笑しい
事実2: もしあのクロロフィリンが上げ過ぎないしまたそれは可笑しくないとすればこの土・日曜は可笑しい
事実3: 「この施工者は可笑しい」ということは確かである
事実4: もしも「減少し始める」ものはあれば「その人形職人は可笑しい」ということは成り立つ
事実5: 仮に「「登記すらないし減少し始める」ということは間違っている」ものがあるならあの六百八十四部隊は可笑しい
事実6: それは登記すらなくてかつ減少し始めるというものはない
事実7: この土・日曜が可笑しいとするとあの六百八十四部隊は可笑しいということはない
事実8: 仮に「「荒ぶしその上上げ過ぎる」ということは成り立たない」物があるならあの六百八十四部隊は可笑しくない
事実9: もしもなにがしかの物は可笑しくないとすれば「それは来易くないしそれは減少し始める」ということは間違いだ

仮説: あの六百八十四部隊は可笑しいということはない
1. 事実6から、推論1: "「その人形職人は登記すらないが減少し始める」ということは誤りである"が導かれる
2. 推論1から、推論2: "「「登記すらないけど減少し始める」ということは誤りである」ものはある"が導かれる
3. 推論2と事実5から、仮説が否定される

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