その全方向は粉々であるということはないが終了する
fact1: もしも「このエコハウス研究会は消散する」ということは偽でないとしたら「その全方向は逢着するけれど観察し易くない」ということは間違っている fact2: この岩清水八幡宮は妥協しないが凄む fact3: 「粉々な」物はある fact4: 「「開放系である」ということは成り立つ」ものはある fact5: もし仮にあるものは開放系であるとすれば「粉々でない一方で終了する」ということは成り立たない fact6: もしも「このエコハウス研究会は船長室でない一方でそれは住み易い」ということは間違いだとしたら手広いということはない fact7: もし仮に「開放系な」物があればその全方向は粉々でないけど逢着する fact8: その全方向はごまかす fact9: もし仮にこのエコハウス研究会が手広くないとすると消散するしその上それはベルギー北西部である fact10: 「その全方向は終了する」ということは成り立つ fact11: 「何かは終了する」ということは確かである fact12: もし仮に「何かは逢着するが観察し易くない」ということは偽ならそれは開放系である
fact4 & fact7 -> int1: その全方向は粉々でないけど逢着する; int1 -> int2: その全方向は粉々でない; int2 & fact10 -> hypothesis;
「その全方向は粉々でないがしかし終了する」ということは成り立たない
fact14 -> int3: もしもその全方向は開放系ならば「それは粉々でなくて終了する」ということは誤りだ; fact17 -> int4: もしも「その全方向は逢着するけどそれは観察し易くない」ということは成り立たないとするとそれは開放系だ;
$facts$ = fact1: もしも「このエコハウス研究会は消散する」ということは偽でないとしたら「その全方向は逢着するけれど観察し易くない」ということは間違っている fact2: この岩清水八幡宮は妥協しないが凄む fact3: 「粉々な」物はある fact4: 「「開放系である」ということは成り立つ」ものはある fact5: もし仮にあるものは開放系であるとすれば「粉々でない一方で終了する」ということは成り立たない fact6: もしも「このエコハウス研究会は船長室でない一方でそれは住み易い」ということは間違いだとしたら手広いということはない fact7: もし仮に「開放系な」物があればその全方向は粉々でないけど逢着する fact8: その全方向はごまかす fact9: もし仮にこのエコハウス研究会が手広くないとすると消散するしその上それはベルギー北西部である fact10: 「その全方向は終了する」ということは成り立つ fact11: 「何かは終了する」ということは確かである fact12: もし仮に「何かは逢着するが観察し易くない」ということは偽ならそれは開放系である ; $hypothesis$ = その全方向は粉々であるということはないが終了する ; $proof$ = 
fact4 & fact7 -> int1: その全方向は粉々でないけど逢着する; int1 -> int2: その全方向は粉々でない; int2 & fact10 -> hypothesis; __PROVED__
事実1: もしも「このエコハウス研究会は消散する」ということは偽でないとしたら「その全方向は逢着するけれど観察し易くない」ということは間違っている
事実2: この岩清水八幡宮は妥協しないが凄む
事実3: 「粉々な」物はある
事実4: 「「開放系である」ということは成り立つ」ものはある
事実5: もし仮にあるものは開放系であるとすれば「粉々でない一方で終了する」ということは成り立たない
事実6: もしも「このエコハウス研究会は船長室でない一方でそれは住み易い」ということは間違いだとしたら手広いということはない
事実7: もし仮に「開放系な」物があればその全方向は粉々でないけど逢着する
事実8: その全方向はごまかす
事実9: もし仮にこのエコハウス研究会が手広くないとすると消散するしその上それはベルギー北西部である
事実10: 「その全方向は終了する」ということは成り立つ
事実11: 「何かは終了する」ということは確かである
事実12: もし仮に「何かは逢着するが観察し易くない」ということは偽ならそれは開放系である

仮説: その全方向は粉々であるということはないが終了する
1. 事実4と事実7から、推論1: "その全方向は粉々でないけど逢着する"が導かれる
2. 推論1から、推論2: "その全方向は粉々でない"が導かれる
3. 推論2と事実10から、仮説が導かれる

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