「このハードディスク上は過剰反応するかあるいは嫉妬深い」ということは成り立たない
fact1: もし仮にある物が役場事務組合でないかまたはそれは壁沿いだとすれば「それは役場事務組合でない」ということは成り立つ fact2: 仮に「あのシングルトラックは和らげるけどルーティングでない」ということは成り立たないならそれは和らげない fact3: 「役場事務組合である」ものがあるとすればあのシングルトラックは壁沿いだ fact4: 仮に「あるものが混交しないしさらに取水しない」ということは成り立たないならそれは取水する fact5: 「なんらかの物は透かし見るということはないけど合意解除する」ということは成り立つということはないとすればそれは合意解除しない fact6: もし「とあるものは取水する」ということは本当であるなら「それは透かし見ないけど合意解除する」ということは偽だ fact7: 「役場事務組合である」ものはある fact8: もし「何らかの物は役場事務組合である」ということは成り立つとするとあのシングルトラックは合意解除するしさらに壁沿いである fact9: もしも「あの助産婦は合意解除する一方で壁沿いでない」ということは事実と異なるとすればあのシングルトラックは合意解除しない fact10: もし仮にあのシングルトラックが合意解除すればこのハードディスク上は過剰反応する fact11: この納税充当金は壁沿いであるしさらに有楽だ fact12: とあるものは役場事務組合でないならば「過剰反応するかもしくは嫉妬深いか両方ともだ」ということは偽だ fact13: もし仮にあのシングルトラックが合意解除しないとすればあのハードディスク上は役場事務組合でないかもしくはそれは壁沿いであるか両方だ fact14: もしもあのシングルトラックは家宝であるとすると「それは和らげるしおまけにルーティングでない」ということは成り立たない fact15: とある物は和らげるということはないならば「混交するということはなくて加えて取水しない」ということは嘘である fact16: あのシングルトラックは壁沿いである
fact7 & fact8 -> int1: あのシングルトラックは合意解除するし更にそれは壁沿いだ; int1 -> int2: あのシングルトラックは合意解除する; int2 & fact10 -> int3: このハードディスク上は過剰反応する; int3 -> hypothesis;
「このハードディスク上は過剰反応するかもしくは嫉妬深いかあるいは両方ともである」ということは成り立たない
$facts$ = fact1: もし仮にある物が役場事務組合でないかまたはそれは壁沿いだとすれば「それは役場事務組合でない」ということは成り立つ fact2: 仮に「あのシングルトラックは和らげるけどルーティングでない」ということは成り立たないならそれは和らげない fact3: 「役場事務組合である」ものがあるとすればあのシングルトラックは壁沿いだ fact4: 仮に「あるものが混交しないしさらに取水しない」ということは成り立たないならそれは取水する fact5: 「なんらかの物は透かし見るということはないけど合意解除する」ということは成り立つということはないとすればそれは合意解除しない fact6: もし「とあるものは取水する」ということは本当であるなら「それは透かし見ないけど合意解除する」ということは偽だ fact7: 「役場事務組合である」ものはある fact8: もし「何らかの物は役場事務組合である」ということは成り立つとするとあのシングルトラックは合意解除するしさらに壁沿いである fact9: もしも「あの助産婦は合意解除する一方で壁沿いでない」ということは事実と異なるとすればあのシングルトラックは合意解除しない fact10: もし仮にあのシングルトラックが合意解除すればこのハードディスク上は過剰反応する fact11: この納税充当金は壁沿いであるしさらに有楽だ fact12: とあるものは役場事務組合でないならば「過剰反応するかもしくは嫉妬深いか両方ともだ」ということは偽だ fact13: もし仮にあのシングルトラックが合意解除しないとすればあのハードディスク上は役場事務組合でないかもしくはそれは壁沿いであるか両方だ fact14: もしもあのシングルトラックは家宝であるとすると「それは和らげるしおまけにルーティングでない」ということは成り立たない fact15: とある物は和らげるということはないならば「混交するということはなくて加えて取水しない」ということは嘘である fact16: あのシングルトラックは壁沿いである ; $hypothesis$ = 「このハードディスク上は過剰反応するかあるいは嫉妬深い」ということは成り立たない ; $proof$ = 
fact7 & fact8 -> int1: あのシングルトラックは合意解除するし更にそれは壁沿いだ; int1 -> int2: あのシングルトラックは合意解除する; int2 & fact10 -> int3: このハードディスク上は過剰反応する; int3 -> hypothesis; __DISPROVED__
事実1: もし仮にある物が役場事務組合でないかまたはそれは壁沿いだとすれば「それは役場事務組合でない」ということは成り立つ
事実2: 仮に「あのシングルトラックは和らげるけどルーティングでない」ということは成り立たないならそれは和らげない
事実3: 「役場事務組合である」ものがあるとすればあのシングルトラックは壁沿いだ
事実4: 仮に「あるものが混交しないしさらに取水しない」ということは成り立たないならそれは取水する
事実5: 「なんらかの物は透かし見るということはないけど合意解除する」ということは成り立つということはないとすればそれは合意解除しない
事実6: もし「とあるものは取水する」ということは本当であるなら「それは透かし見ないけど合意解除する」ということは偽だ
事実7: 「役場事務組合である」ものはある
事実8: もし「何らかの物は役場事務組合である」ということは成り立つとするとあのシングルトラックは合意解除するしさらに壁沿いである
事実9: もしも「あの助産婦は合意解除する一方で壁沿いでない」ということは事実と異なるとすればあのシングルトラックは合意解除しない
事実10: もし仮にあのシングルトラックが合意解除すればこのハードディスク上は過剰反応する
事実11: この納税充当金は壁沿いであるしさらに有楽だ
事実12: とあるものは役場事務組合でないならば「過剰反応するかもしくは嫉妬深いか両方ともだ」ということは偽だ
事実13: もし仮にあのシングルトラックが合意解除しないとすればあのハードディスク上は役場事務組合でないかもしくはそれは壁沿いであるか両方だ
事実14: もしもあのシングルトラックは家宝であるとすると「それは和らげるしおまけにルーティングでない」ということは成り立たない
事実15: とある物は和らげるということはないならば「混交するということはなくて加えて取水しない」ということは嘘である
事実16: あのシングルトラックは壁沿いである

仮説: 「このハードディスク上は過剰反応するかあるいは嫉妬深い」ということは成り立たない
1. 事実7と事実8から、推論1: "あのシングルトラックは合意解除するし更にそれは壁沿いだ"が導かれる
2. 推論1から、推論2: "あのシングルトラックは合意解除する"が導かれる
3. 推論2と事実10から、推論3: "このハードディスク上は過剰反応する"が導かれる
4. 推論3から、仮説が否定される

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