あの企業不祥事は湿っぽいということはない
fact1: もしとあるものがカジノであるということはないしまたそれがパナマ運河でないとすればそれは組閣でない fact2: とあるものが詫び状だということはないならこの衛生検査は名水でない fact3: もしあの造形が見付け出せらないかそれが供託金だとしたらこの独自仕様は供託金である fact4: もし仮に「名水でない」ものがあるとすればあの造形は見付け出せらないかもしくは供託金だ fact5: 「この漢詩人は恵み深くて更に詫び状だ」ということは正しくない fact6: 「あのマグニチュードは野球以外でない一方で夫婦らしい」ということは成り立たない fact7: 説明し易いということはないものは湿っぽい fact8: もし何らかのものは組閣でないとすると「それは新編国歌大観でなくて説明し易くない」ということは成り立たない fact9: もしもなにがしかの物がシナモンであるかまたはそれが輝き出すならこの宣教師達は新編国歌大観でない fact10: 「その能力・適性は輝き出すか湿っぽいかまたは両方だ」ということは正しい fact11: 仮に「なんらかの物が組閣だしかつそれは新編国歌大観だ」ということは間違っているとするとそれは説明し易いということはない fact12: もし仮に「この宣教師達は新編国歌大観でないしおまけにそれは説明し易いということはない」ということは事実と異なるとしたらその能力・適性は新編国歌大観でない fact13: もし「夫婦らしくない」ものはあるとすると「その能力・適性は輝き出す」ということは確かだ fact14: もしあの企業不祥事は組閣でないとすると説明し易くない fact15: 「あのマグニチュードは湿っぽいしそれは夫婦らしい」ということは事実と異なる fact16: もし仮になにがしかの物は新編国歌大観でないならば「それはシナモンだけれど輝き出さない」ということは成り立たない fact17: もし「「野球以外でないがしかし夫婦らしい」ということは誤りな」物があるとしたらその能力・適性は輝き出す fact18: もし仮に「「この漢詩人は恵み深い詫び状だ」ということは成り立たない」ということは成り立つならそのハントは詫び状でない fact19: 「もしもこの宣教師達は新編国歌大観でないとすると「あの企業不祥事は組閣であるし加えて新編国歌大観だ」ということは事実でない」ということは真実である
fact6 -> int1: 「「野球以外でない一方で夫婦らしい」ということは間違いである」ものはある; int1 & fact17 -> int2: その能力・適性は輝き出す; int2 -> int3: その能力・適性はシナモンであるかもしくはそれは輝き出す; int3 -> int4: あるものはシナモンであるかもしくは輝き出す; int4 & fact9 -> int5: この宣教師達は新編国歌大観だということはない; int5 & fact19 -> int6: 「あの企業不祥事は組閣でそれに新編国歌大観だ」ということは偽である; fact11 -> int7: もしも「あの企業不祥事は組閣だしかつ新編国歌大観だ」ということは成り立たないとすればそれは説明し易くない; int6 & int7 -> int8: あの企業不祥事は説明し易くない; fact7 -> int9: もしもあの企業不祥事は説明し易くないとすればそれは湿っぽい; int8 & int9 -> hypothesis;
あの企業不祥事は湿っぽくない
fact24 -> int10: もし仮にその能力・適性は新編国歌大観でないならば「シナモンであるが輝き出さない」ということは偽だ; fact28 -> int11: もしもこの宣教師達は組閣でないとすれば「それは新編国歌大観でないし更にそれは説明し易くない」ということは間違いだ; fact22 -> int12: 仮にこの宣教師達はカジノでないしまたパナマ運河であるということはないとすると組閣であるということはない; fact20 & fact27 -> int13: そのハントは詫び状でない; int13 -> int14: 「何かは詫び状でない」ということは成り立つ; int14 & fact26 -> int15: この衛生検査は名水でない; int15 -> int16: 「名水でない」ものはある; int16 & fact21 -> int17: あの造形は見付け出せらないか供託金だ; fact25 & int17 -> int18: この独自仕様は供託金である; int18 -> int19: 「供託金な」物はある;
$facts$ = fact1: もしとあるものがカジノであるということはないしまたそれがパナマ運河でないとすればそれは組閣でない fact2: とあるものが詫び状だということはないならこの衛生検査は名水でない fact3: もしあの造形が見付け出せらないかそれが供託金だとしたらこの独自仕様は供託金である fact4: もし仮に「名水でない」ものがあるとすればあの造形は見付け出せらないかもしくは供託金だ fact5: 「この漢詩人は恵み深くて更に詫び状だ」ということは正しくない fact6: 「あのマグニチュードは野球以外でない一方で夫婦らしい」ということは成り立たない fact7: 説明し易いということはないものは湿っぽい fact8: もし何らかのものは組閣でないとすると「それは新編国歌大観でなくて説明し易くない」ということは成り立たない fact9: もしもなにがしかの物がシナモンであるかまたはそれが輝き出すならこの宣教師達は新編国歌大観でない fact10: 「その能力・適性は輝き出すか湿っぽいかまたは両方だ」ということは正しい fact11: 仮に「なんらかの物が組閣だしかつそれは新編国歌大観だ」ということは間違っているとするとそれは説明し易いということはない fact12: もし仮に「この宣教師達は新編国歌大観でないしおまけにそれは説明し易いということはない」ということは事実と異なるとしたらその能力・適性は新編国歌大観でない fact13: もし「夫婦らしくない」ものはあるとすると「その能力・適性は輝き出す」ということは確かだ fact14: もしあの企業不祥事は組閣でないとすると説明し易くない fact15: 「あのマグニチュードは湿っぽいしそれは夫婦らしい」ということは事実と異なる fact16: もし仮になにがしかの物は新編国歌大観でないならば「それはシナモンだけれど輝き出さない」ということは成り立たない fact17: もし「「野球以外でないがしかし夫婦らしい」ということは誤りな」物があるとしたらその能力・適性は輝き出す fact18: もし仮に「「この漢詩人は恵み深い詫び状だ」ということは成り立たない」ということは成り立つならそのハントは詫び状でない fact19: 「もしもこの宣教師達は新編国歌大観でないとすると「あの企業不祥事は組閣であるし加えて新編国歌大観だ」ということは事実でない」ということは真実である ; $hypothesis$ = あの企業不祥事は湿っぽいということはない ; $proof$ = 
fact6 -> int1: 「「野球以外でない一方で夫婦らしい」ということは間違いである」ものはある; int1 & fact17 -> int2: その能力・適性は輝き出す; int2 -> int3: その能力・適性はシナモンであるかもしくはそれは輝き出す; int3 -> int4: あるものはシナモンであるかもしくは輝き出す; int4 & fact9 -> int5: この宣教師達は新編国歌大観だということはない; int5 & fact19 -> int6: 「あの企業不祥事は組閣でそれに新編国歌大観だ」ということは偽である; fact11 -> int7: もしも「あの企業不祥事は組閣だしかつ新編国歌大観だ」ということは成り立たないとすればそれは説明し易くない; int6 & int7 -> int8: あの企業不祥事は説明し易くない; fact7 -> int9: もしもあの企業不祥事は説明し易くないとすればそれは湿っぽい; int8 & int9 -> hypothesis; __DISPROVED__
事実1: もしとあるものがカジノであるということはないしまたそれがパナマ運河でないとすればそれは組閣でない
事実2: とあるものが詫び状だということはないならこの衛生検査は名水でない
事実3: もしあの造形が見付け出せらないかそれが供託金だとしたらこの独自仕様は供託金である
事実4: もし仮に「名水でない」ものがあるとすればあの造形は見付け出せらないかもしくは供託金だ
事実5: 「この漢詩人は恵み深くて更に詫び状だ」ということは正しくない
事実6: 「あのマグニチュードは野球以外でない一方で夫婦らしい」ということは成り立たない
事実7: 説明し易いということはないものは湿っぽい
事実8: もし何らかのものは組閣でないとすると「それは新編国歌大観でなくて説明し易くない」ということは成り立たない
事実9: もしもなにがしかの物がシナモンであるかまたはそれが輝き出すならこの宣教師達は新編国歌大観でない
事実10: 「その能力・適性は輝き出すか湿っぽいかまたは両方だ」ということは正しい
事実11: 仮に「なんらかの物が組閣だしかつそれは新編国歌大観だ」ということは間違っているとするとそれは説明し易いということはない
事実12: もし仮に「この宣教師達は新編国歌大観でないしおまけにそれは説明し易いということはない」ということは事実と異なるとしたらその能力・適性は新編国歌大観でない
事実13: もし「夫婦らしくない」ものはあるとすると「その能力・適性は輝き出す」ということは確かだ
事実14: もしあの企業不祥事は組閣でないとすると説明し易くない
事実15: 「あのマグニチュードは湿っぽいしそれは夫婦らしい」ということは事実と異なる
事実16: もし仮になにがしかの物は新編国歌大観でないならば「それはシナモンだけれど輝き出さない」ということは成り立たない
事実17: もし「「野球以外でないがしかし夫婦らしい」ということは誤りな」物があるとしたらその能力・適性は輝き出す
事実18: もし仮に「「この漢詩人は恵み深い詫び状だ」ということは成り立たない」ということは成り立つならそのハントは詫び状でない
事実19: 「もしもこの宣教師達は新編国歌大観でないとすると「あの企業不祥事は組閣であるし加えて新編国歌大観だ」ということは事実でない」ということは真実である

仮説: あの企業不祥事は湿っぽいということはない
1. 事実6から、推論1: "「「野球以外でない一方で夫婦らしい」ということは間違いである」ものはある"が導かれる
2. 推論1と事実17から、推論2: "その能力・適性は輝き出す"が導かれる
3. 推論2から、推論3: "その能力・適性はシナモンであるかもしくはそれは輝き出す"が導かれる
4. 推論3から、推論4: "あるものはシナモンであるかもしくは輝き出す"が導かれる
5. 推論4と事実9から、推論5: "この宣教師達は新編国歌大観だということはない"が導かれる
6. 推論5と事実19から、推論6: "「あの企業不祥事は組閣でそれに新編国歌大観だ」ということは偽である"が導かれる
7. 事実11から、推論7: "もしも「あの企業不祥事は組閣だしかつ新編国歌大観だ」ということは成り立たないとすればそれは説明し易くない"が導かれる
8. 推論6と推論7から、推論8: "あの企業不祥事は説明し易くない"が導かれる
9. 事実7から、推論9: "もしもあの企業不祥事は説明し易くないとすればそれは湿っぽい"が導かれる
10. 推論8と推論9から、仮説が否定される

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