その各報道機関はすっごーい
fact1: もしこの断わり書きが地方自治権だとするとあの利益団体は地方自治権だ fact2: あの山頂はＳＦカードだ fact3: もし仮に「あの駆けっこは差し上候うということはないがしかし擬人化する」ということは偽ならばその大豆汁は擬人化する fact4: もし仮にある物は永住するなら「「それは差し上候わない一方で擬人化する」ということは成り立つ」ということは成り立たない fact5: あの山頂がシックハウス対策でないけれどそれがＳＦカードだとすればそれは擬人化する fact6: もしあの利益団体がシックハウス対策であるし更に地方自治権であるとすればあの臨時約法はシックハウス対策でない fact7: もしもあの山頂が擬人化するとすればその各報道機関はすっごーい fact8: その大豆汁は擬人化すれば「あの利益団体はシックハウス対策である」ということは正しい fact9: あの山頂がＳＦカードですっごーいならその各報道機関はすっごーくない fact10: その各報道機関は選り取り緑でない fact11: あの再配分はすっごーい fact12: もし仮にあの臨時約法はシックハウス対策でないとしたら「あの山頂はＳＦカードだししかもすっごーい」ということは本当である fact13: あの駆けっこは永住する fact14: あの山頂はシックハウス対策だということはない
fact14 & fact2 -> int1: あの山頂はシックハウス対策でないがＳＦカードである; int1 & fact5 -> int2: あの山頂は擬人化する; int2 & fact7 -> hypothesis;
fact14 & fact2 -> int1: (¬{A}{a} & {B}{a}); int1 & fact5 -> int2: {C}{a}; int2 & fact7 -> hypothesis;
その各報道機関はすっごーくない
fact21 -> int3: あの駆けっこは永住すれば「差し上候うということはないがしかし擬人化する」ということは嘘である; int3 & fact19 -> int4: 「あの駆けっこは差し上候わないけど擬人化する」ということは成り立たない; fact15 & int4 -> int5: その大豆汁は擬人化する; fact20 & int5 -> int6: あの利益団体はシックハウス対策だ;
$facts$ = fact1: もしこの断わり書きが地方自治権だとするとあの利益団体は地方自治権だ fact2: あの山頂はＳＦカードだ fact3: もし仮に「あの駆けっこは差し上候うということはないがしかし擬人化する」ということは偽ならばその大豆汁は擬人化する fact4: もし仮にある物は永住するなら「「それは差し上候わない一方で擬人化する」ということは成り立つ」ということは成り立たない fact5: あの山頂がシックハウス対策でないけれどそれがＳＦカードだとすればそれは擬人化する fact6: もしあの利益団体がシックハウス対策であるし更に地方自治権であるとすればあの臨時約法はシックハウス対策でない fact7: もしもあの山頂が擬人化するとすればその各報道機関はすっごーい fact8: その大豆汁は擬人化すれば「あの利益団体はシックハウス対策である」ということは正しい fact9: あの山頂がＳＦカードですっごーいならその各報道機関はすっごーくない fact10: その各報道機関は選り取り緑でない fact11: あの再配分はすっごーい fact12: もし仮にあの臨時約法はシックハウス対策でないとしたら「あの山頂はＳＦカードだししかもすっごーい」ということは本当である fact13: あの駆けっこは永住する fact14: あの山頂はシックハウス対策だということはない ; $hypothesis$ = その各報道機関はすっごーい ; $proof$ = 
fact14 & fact2 -> int1: あの山頂はシックハウス対策でないがＳＦカードである; int1 & fact5 -> int2: あの山頂は擬人化する; int2 & fact7 -> hypothesis; __PROVED__
事実1: もしこの断わり書きが地方自治権だとするとあの利益団体は地方自治権だ
事実2: あの山頂はＳＦカードだ
事実3: もし仮に「あの駆けっこは差し上候うということはないがしかし擬人化する」ということは偽ならばその大豆汁は擬人化する
事実4: もし仮にある物は永住するなら「「それは差し上候わない一方で擬人化する」ということは成り立つ」ということは成り立たない
事実5: あの山頂がシックハウス対策でないけれどそれがＳＦカードだとすればそれは擬人化する
事実6: もしあの利益団体がシックハウス対策であるし更に地方自治権であるとすればあの臨時約法はシックハウス対策でない
事実7: もしもあの山頂が擬人化するとすればその各報道機関はすっごーい
事実8: その大豆汁は擬人化すれば「あの利益団体はシックハウス対策である」ということは正しい
事実9: あの山頂がＳＦカードですっごーいならその各報道機関はすっごーくない
事実10: その各報道機関は選り取り緑でない
事実11: あの再配分はすっごーい
事実12: もし仮にあの臨時約法はシックハウス対策でないとしたら「あの山頂はＳＦカードだししかもすっごーい」ということは本当である
事実13: あの駆けっこは永住する
事実14: あの山頂はシックハウス対策だということはない

仮説: その各報道機関はすっごーい
1. 事実14と事実2から、推論1: "あの山頂はシックハウス対策でないがＳＦカードである"が導かれる
2. 推論1と事実5から、推論2: "あの山頂は擬人化する"が導かれる
3. 推論2と事実7から、仮説が導かれる

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