あの脂肪吸引手術は厚着する
fact1: もしあの脂肪吸引手術が御上がるとすれば厚着する fact2: もし「そのコークス炉ガスは顕在化し易くないし厚着しない」ということは成り立たないとすればあの脂肪吸引手術は厚着しない fact3: もし仮になにがしかのものが次期社長だとすればそれは唸り続ける fact4: 「なにがしかのものは唸り続ける」ということは成り立つとしたら回り始める fact5: あのノン・アフェクタシオンは厚着する fact6: もしも「この望火楼はこくでない」ということは本当であるならばそれは次期社長だ fact7: そのＭ＆Ａ前は厚着する fact8: あの脂肪吸引手術は御上がる fact9: もし仮になにかは回り始めるとしたら「顕在化し易くてそれは厚着しない」ということは成り立つということはない fact10: あの脂肪吸引手術はコカ・コーラだ fact11: もしも「あるものは顕在化し易いけれど厚着しない」ということは誤りだとしたら御上がる
fact1 & fact8 -> hypothesis;
fact1 & fact8 -> hypothesis;
この望火楼は御上がる
fact14 -> int1: もし「この望火楼は顕在化し易いけど厚着しない」ということは誤りであるとすると御上がる; fact13 -> int2: 仮にこの望火楼は回り始めるとすれば「それは顕在化し易いけれど厚着しない」ということは嘘だ; fact12 -> int3: もし仮にこの望火楼が唸り続けるとしたらそれは回り始める; fact15 -> int4: この望火楼は次期社長であるとすれば唸り続ける;
$facts$ = fact1: もしあの脂肪吸引手術が御上がるとすれば厚着する fact2: もし「そのコークス炉ガスは顕在化し易くないし厚着しない」ということは成り立たないとすればあの脂肪吸引手術は厚着しない fact3: もし仮になにがしかのものが次期社長だとすればそれは唸り続ける fact4: 「なにがしかのものは唸り続ける」ということは成り立つとしたら回り始める fact5: あのノン・アフェクタシオンは厚着する fact6: もしも「この望火楼はこくでない」ということは本当であるならばそれは次期社長だ fact7: そのＭ＆Ａ前は厚着する fact8: あの脂肪吸引手術は御上がる fact9: もし仮になにかは回り始めるとしたら「顕在化し易くてそれは厚着しない」ということは成り立つということはない fact10: あの脂肪吸引手術はコカ・コーラだ fact11: もしも「あるものは顕在化し易いけれど厚着しない」ということは誤りだとしたら御上がる ; $hypothesis$ = あの脂肪吸引手術は厚着する ; $proof$ = 
fact1 & fact8 -> hypothesis; __PROVED__
事実1: もしあの脂肪吸引手術が御上がるとすれば厚着する
事実2: もし「そのコークス炉ガスは顕在化し易くないし厚着しない」ということは成り立たないとすればあの脂肪吸引手術は厚着しない
事実3: もし仮になにがしかのものが次期社長だとすればそれは唸り続ける
事実4: 「なにがしかのものは唸り続ける」ということは成り立つとしたら回り始める
事実5: あのノン・アフェクタシオンは厚着する
事実6: もしも「この望火楼はこくでない」ということは本当であるならばそれは次期社長だ
事実7: そのＭ＆Ａ前は厚着する
事実8: あの脂肪吸引手術は御上がる
事実9: もし仮になにかは回り始めるとしたら「顕在化し易くてそれは厚着しない」ということは成り立つということはない
事実10: あの脂肪吸引手術はコカ・コーラだ
事実11: もしも「あるものは顕在化し易いけれど厚着しない」ということは誤りだとしたら御上がる

仮説: あの脂肪吸引手術は厚着する
1. 事実1と事実8から、仮説が導かれる

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