この八種類は分厚くない
fact1: もしもあのエゾ狼が有り難いとすればそれは悩ましい fact2: あのエゾ狼が他企業でないならばこの領海は子供でない fact3: 仮に「あのエゾ狼は他動詞で他企業だ」ということは誤りならば「この領海は子供でない」ということは成り立つ fact4: もしなんらかの物は免職するとすると「子供だということはないし分厚い」ということは誤っている fact5: もし「この領海は悩ましいがしかし遭難しない」ということは嘘だとしたらあの隔たりは有り難い fact6: もしその三日前は免職するということはないとしたら「あのエゾ狼は他動詞であるし更に他企業だ」ということは間違いだ fact7: もし仮にこの領海が悩ましくないとするとあの隔たりは有り難い fact8: もしなんらかのものは子供だということはないなら「悩ましいけど遭難しない」ということは偽だ fact9: 「この同一方向は免職しない」ということは成り立つ fact10: もし仮に「この領海は遭難するけれど他動詞だということはない」ということは真実だということはないなら「あのエゾ狼は子供だ」ということは真実である fact11: あの隔たりは悩ましくない fact12: 「その三日前は免職しない」ということは成り立つ fact13: 「仮にとある物は悩ましいとすれば「それは免職しないがしかし遭難する」ということは成り立たない」ということは本当である fact14: その三日前は悩ましくない fact15: 仮になにかは子供でないとすれば「それは他企業であるかあるいは免職しない」ということは偽である fact16: あのエゾ狼は有り難い fact17: あのエゾ狼は遭難する fact18: もしもある物は免職しないとすれば「それは分厚いしかつ子供でない」ということは成り立たない fact19: もしも「その三日前は他企業であるかあるいは免職しない」ということは真実でないならばこのデザイン能力は他企業でない fact20: もしもあの隔たりが有り難いとすればあの八種類は分厚い
fact6 & fact12 -> int1: 「あのエゾ狼は他動詞であるし他企業である」ということは成り立たない; int1 & fact3 -> int2: この領海は子供でない; fact8 -> int3: この領海は子供でないとすると「それは悩ましいけど遭難しない」ということは誤りだ; int2 & int3 -> int4: 「この領海は悩ましいがしかしそれは遭難しない」ということは成り立たない; int4 & fact5 -> int5: あの隔たりは有り難い; int5 & fact20 -> hypothesis;
このデザイン能力は他企業でない
fact22 -> int6: もしその三日前は子供でないならば「それは他企業であるかあるいは免職しない」ということは成り立つということはない;
$facts$ = fact1: もしもあのエゾ狼が有り難いとすればそれは悩ましい fact2: あのエゾ狼が他企業でないならばこの領海は子供でない fact3: 仮に「あのエゾ狼は他動詞で他企業だ」ということは誤りならば「この領海は子供でない」ということは成り立つ fact4: もしなんらかの物は免職するとすると「子供だということはないし分厚い」ということは誤っている fact5: もし「この領海は悩ましいがしかし遭難しない」ということは嘘だとしたらあの隔たりは有り難い fact6: もしその三日前は免職するということはないとしたら「あのエゾ狼は他動詞であるし更に他企業だ」ということは間違いだ fact7: もし仮にこの領海が悩ましくないとするとあの隔たりは有り難い fact8: もしなんらかのものは子供だということはないなら「悩ましいけど遭難しない」ということは偽だ fact9: 「この同一方向は免職しない」ということは成り立つ fact10: もし仮に「この領海は遭難するけれど他動詞だということはない」ということは真実だということはないなら「あのエゾ狼は子供だ」ということは真実である fact11: あの隔たりは悩ましくない fact12: 「その三日前は免職しない」ということは成り立つ fact13: 「仮にとある物は悩ましいとすれば「それは免職しないがしかし遭難する」ということは成り立たない」ということは本当である fact14: その三日前は悩ましくない fact15: 仮になにかは子供でないとすれば「それは他企業であるかあるいは免職しない」ということは偽である fact16: あのエゾ狼は有り難い fact17: あのエゾ狼は遭難する fact18: もしもある物は免職しないとすれば「それは分厚いしかつ子供でない」ということは成り立たない fact19: もしも「その三日前は他企業であるかあるいは免職しない」ということは真実でないならばこのデザイン能力は他企業でない fact20: もしもあの隔たりが有り難いとすればあの八種類は分厚い ; $hypothesis$ = この八種類は分厚くない ; $proof$ = 
fact6 & fact12 -> int1: 「あのエゾ狼は他動詞であるし他企業である」ということは成り立たない; int1 & fact3 -> int2: この領海は子供でない; fact8 -> int3: この領海は子供でないとすると「それは悩ましいけど遭難しない」ということは誤りだ; int2 & int3 -> int4: 「この領海は悩ましいがしかしそれは遭難しない」ということは成り立たない; int4 & fact5 -> int5: あの隔たりは有り難い; int5 & fact20 -> hypothesis; __DISPROVED__
事実1: もしもあのエゾ狼が有り難いとすればそれは悩ましい
事実2: あのエゾ狼が他企業でないならばこの領海は子供でない
事実3: 仮に「あのエゾ狼は他動詞で他企業だ」ということは誤りならば「この領海は子供でない」ということは成り立つ
事実4: もしなんらかの物は免職するとすると「子供だということはないし分厚い」ということは誤っている
事実5: もし「この領海は悩ましいがしかし遭難しない」ということは嘘だとしたらあの隔たりは有り難い
事実6: もしその三日前は免職するということはないとしたら「あのエゾ狼は他動詞であるし更に他企業だ」ということは間違いだ
事実7: もし仮にこの領海が悩ましくないとするとあの隔たりは有り難い
事実8: もしなんらかのものは子供だということはないなら「悩ましいけど遭難しない」ということは偽だ
事実9: 「この同一方向は免職しない」ということは成り立つ
事実10: もし仮に「この領海は遭難するけれど他動詞だということはない」ということは真実だということはないなら「あのエゾ狼は子供だ」ということは真実である
事実11: あの隔たりは悩ましくない
事実12: 「その三日前は免職しない」ということは成り立つ
事実13: 「仮にとある物は悩ましいとすれば「それは免職しないがしかし遭難する」ということは成り立たない」ということは本当である
事実14: その三日前は悩ましくない
事実15: 仮になにかは子供でないとすれば「それは他企業であるかあるいは免職しない」ということは偽である
事実16: あのエゾ狼は有り難い
事実17: あのエゾ狼は遭難する
事実18: もしもある物は免職しないとすれば「それは分厚いしかつ子供でない」ということは成り立たない
事実19: もしも「その三日前は他企業であるかあるいは免職しない」ということは真実でないならばこのデザイン能力は他企業でない
事実20: もしもあの隔たりが有り難いとすればあの八種類は分厚い

仮説: この八種類は分厚くない
1. 事実6と事実12から、推論1: "「あのエゾ狼は他動詞であるし他企業である」ということは成り立たない"が導かれる
2. 推論1と事実3から、推論2: "この領海は子供でない"が導かれる
3. 事実8から、推論3: "この領海は子供でないとすると「それは悩ましいけど遭難しない」ということは誤りだ"が導かれる
4. 推論2と推論3から、推論4: "「この領海は悩ましいがしかしそれは遭難しない」ということは成り立たない"が導かれる
5. 推論4と事実5から、推論5: "あの隔たりは有り難い"が導かれる
6. 推論5と事実20から、仮説が否定される

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