あの躯体部分は非難がましい
fact1: 「防衛網は活気付く」ということは間違っていない fact2: もし仮に「「ある物が結び合わすということはないしさらにシェークするということはない」ということは成り立つ」ということは誤っているならそれは非難がましい fact3: 何らかの物は防衛網である fact4: もし仮になにかは御構い無くないとすれば「結び合わすしその上シェークする」ということは成り立たない fact5: 「あの風邪症候群は利用し易い」ということは正しい fact6: もし仮にその理想的共鳴はシェークしないとすると「あの躯体部分は結び合わさなくてシェークしない」ということは成り立たない fact7: 仮にあの躯体部分がシェークするとしたらそれは非難がましい fact8: もしもあの風邪症候群が世襲表であるしそれにそれが利用し易いとしたらその理想的共鳴はシェークしない fact9: 何らかの物は活気付くとすると「それは御構い無くない」ということは成り立つ fact10: もし仮になにかはシェークするとすれば非難がましい fact11: 仮にその理想的共鳴はシェークしないとしたら「「あの躯体部分は結び合わさない一方でシェークする」ということは間違っている」ということは成り立つ fact12: もし「なにがしかのものは結び合わすしシェークする」ということは成り立たないならば非難がましかない fact13: あの風邪症候群は世襲表でそれに利用し易い
fact8 & fact13 -> int1: その理想的共鳴はシェークしない; int1 & fact6 -> int2: 「あの躯体部分は結び合わさないしシェークしない」ということは間違いだ; fact2 -> int3: もし仮に「あの躯体部分は結び合わさないしシェークしない」ということは成り立たないとすると「非難がましい」ということは事実だ; int2 & int3 -> hypothesis;
fact8 & fact13 -> int1: ¬{B}{b}; int1 & fact6 -> int2: ¬(¬{C}{c} & ¬{B}{c}); fact2 -> int3: ¬(¬{C}{c} & ¬{B}{c}) -> {A}{c}; int2 & int3 -> hypothesis;
あの躯体部分は非難がましかない
fact18 -> int4: 「あの躯体部分は結び合わすしかつシェークする」ということは嘘だとすればそれは非難がましかない; fact16 -> int5: もし仮にあの躯体部分は御構い無くないとすると「結び合わすしそれはシェークする」ということは成り立たない; fact14 -> int6: 仮にあの躯体部分が活気付くとすれば御構い無くない; fact17 -> int7: もしあの躯体部分が防衛網ならばそれは活気付く;
$facts$ = fact1: 「防衛網は活気付く」ということは間違っていない fact2: もし仮に「「ある物が結び合わすということはないしさらにシェークするということはない」ということは成り立つ」ということは誤っているならそれは非難がましい fact3: 何らかの物は防衛網である fact4: もし仮になにかは御構い無くないとすれば「結び合わすしその上シェークする」ということは成り立たない fact5: 「あの風邪症候群は利用し易い」ということは正しい fact6: もし仮にその理想的共鳴はシェークしないとすると「あの躯体部分は結び合わさなくてシェークしない」ということは成り立たない fact7: 仮にあの躯体部分がシェークするとしたらそれは非難がましい fact8: もしもあの風邪症候群が世襲表であるしそれにそれが利用し易いとしたらその理想的共鳴はシェークしない fact9: 何らかの物は活気付くとすると「それは御構い無くない」ということは成り立つ fact10: もし仮になにかはシェークするとすれば非難がましい fact11: 仮にその理想的共鳴はシェークしないとしたら「「あの躯体部分は結び合わさない一方でシェークする」ということは間違っている」ということは成り立つ fact12: もし「なにがしかのものは結び合わすしシェークする」ということは成り立たないならば非難がましかない fact13: あの風邪症候群は世襲表でそれに利用し易い ; $hypothesis$ = あの躯体部分は非難がましい ; $proof$ = 
fact8 & fact13 -> int1: その理想的共鳴はシェークしない; int1 & fact6 -> int2: 「あの躯体部分は結び合わさないしシェークしない」ということは間違いだ; fact2 -> int3: もし仮に「あの躯体部分は結び合わさないしシェークしない」ということは成り立たないとすると「非難がましい」ということは事実だ; int2 & int3 -> hypothesis; __PROVED__
事実1: 「防衛網は活気付く」ということは間違っていない
事実2: もし仮に「「ある物が結び合わすということはないしさらにシェークするということはない」ということは成り立つ」ということは誤っているならそれは非難がましい
事実3: 何らかの物は防衛網である
事実4: もし仮になにかは御構い無くないとすれば「結び合わすしその上シェークする」ということは成り立たない
事実5: 「あの風邪症候群は利用し易い」ということは正しい
事実6: もし仮にその理想的共鳴はシェークしないとすると「あの躯体部分は結び合わさなくてシェークしない」ということは成り立たない
事実7: 仮にあの躯体部分がシェークするとしたらそれは非難がましい
事実8: もしもあの風邪症候群が世襲表であるしそれにそれが利用し易いとしたらその理想的共鳴はシェークしない
事実9: 何らかの物は活気付くとすると「それは御構い無くない」ということは成り立つ
事実10: もし仮になにかはシェークするとすれば非難がましい
事実11: 仮にその理想的共鳴はシェークしないとしたら「「あの躯体部分は結び合わさない一方でシェークする」ということは間違っている」ということは成り立つ
事実12: もし「なにがしかのものは結び合わすしシェークする」ということは成り立たないならば非難がましかない
事実13: あの風邪症候群は世襲表でそれに利用し易い

仮説: あの躯体部分は非難がましい
1. 事実8と事実13から、推論1: "その理想的共鳴はシェークしない"が導かれる
2. 推論1と事実6から、推論2: "「あの躯体部分は結び合わさないしシェークしない」ということは間違いだ"が導かれる
3. 事実2から、推論3: "もし仮に「あの躯体部分は結び合わさないしシェークしない」ということは成り立たないとすると「非難がましい」ということは事実だ"が導かれる
4. 推論2と推論3から、仮説が導かれる

よって、仮説が証明されました。