「その十五人が狂気染みないしそれは回想しない」ということは成り立つということはない
fact1: あの閉鎖的空間は観察し易いとすれば「その十五人は狂気染みないし回想しない」ということは真実でない fact2: 「その十五人は狂気染みるけれど回想しない」ということは間違っている fact3: もしその汎神論がいとおしくないとしたらあの享年は観察し易くない fact4: もし「このラップフィルムは要る一方で配備しない」ということは誤りであるとすれば要るということはない fact5: もしあの閉鎖的空間が株式市場ブームでないとするとその汎神論はプロフェッショナルであるしさらに資源である fact6: もしもあの閉鎖的空間は観察し易いなら「その十五人は狂気染みないけど回想する」ということは真実でない fact7: もしもこのラップフィルムが断であるならその十五人は交雑しなくてそれに合併し易くない fact8: もし仮に「「嵌頓するし株式市場ブームだ」ということは真実でない」物があるとすればあの閉鎖的空間は株式市場ブームでない fact9: その汎神論はペイン・スターリングである fact10: 仮になにがしかの物が回想するとするとそれは観察し易いかまたはいとおしくない fact11: 「その十五人は狂気染みないけどそれは回想する」ということは嘘である fact12: あの閉鎖的空間は観察し易いとすると「その十五人は狂気染みるけれどそれは回想しない」ということは成り立たない fact13: もしその汎神論が観察し易いならあの享年は観察し易くない fact14: もし仮になにがしかの物は待ち遠しくないならば「嵌頓するしその上株式市場ブームである」ということは嘘である fact15: 「このラップフィルムは要るけれどそれは配備しない」ということは偽である fact16: もしもある物が交雑するということはなくて更にそれは合併し易くないなら待ち遠しいということはない fact17: その汎神論はペイン・スターリングだ一方で覚え難いということはない fact18: もしもなにがしかのものがプロフェッショナルだとしたら回想する fact19: もし仮に何かは黒光りするということはないが参加し易いとすると「断である」ということは嘘でない fact20: 「もしもこのラップフィルムが要らないとしたらこのラップフィルムは黒光りしないがしかし参加し易い」ということは真実である fact21: もしその汎神論がペイン・スターリングであるがしかしそれが覚え難くないならあの閉鎖的空間は観察し易い fact22: 観察し易いということはないものは自己批判するが狂気染みない
fact21 & fact17 -> int1: あの閉鎖的空間は観察し易い; int1 & fact1 -> hypothesis;
あの享年は自己批判するけれど狂気染みるということはない
fact26 -> int2: あの享年は観察し易くないなら自己批判するけれど狂気染みない; fact32 -> int3: もし「その汎神論は回想する」ということは本当ならばそれは観察し易いかもしくはいとおしくないかまたは両方ともである; fact28 -> int4: もし「その汎神論はプロフェッショナルだ」ということは間違いだということはないとすればそれは回想する; fact36 -> int5: もし「その十五人は待ち遠しい」ということは誤りならば「嵌頓するし更にそれは株式市場ブームである」ということは間違いである; fact31 -> int6: もしもその十五人は交雑しないしそれに合併し易くないならばそれは待ち遠しくない; fact23 -> int7: 仮にこのラップフィルムは黒光りしない一方で参加し易いならばそれは断だ; fact27 & fact30 -> int8: 「このラップフィルムは要らない」ということは成り立つ; fact34 & int8 -> int9: このラップフィルムは黒光りするということはないけれどそれは参加し易い; int7 & int9 -> int10: このラップフィルムは断である; fact25 & int10 -> int11: その十五人は交雑しなくてかつ合併し易くない; int6 & int11 -> int12: その十五人は待ち遠しくない; int5 & int12 -> int13: 「その十五人は嵌頓するしまた株式市場ブームだ」ということは嘘だ; int13 -> int14: 「「嵌頓するし株式市場ブームである」ということは間違っている」ものはある; int14 & fact24 -> int15: あの閉鎖的空間は株式市場ブームだということはない; fact29 & int15 -> int16: その汎神論がプロフェッショナルだしその上それは資源だ; int16 -> int17: その汎神論はプロフェッショナルだ; int4 & int17 -> int18: その汎神論は回想する; int3 & int18 -> int19: その汎神論は観察し易いかあるいはそれはいとおしくないかまたは両方である; int19 & fact35 & fact33 -> int20: あの享年は観察し易くない; int2 & int20 -> hypothesis;
$facts$ = fact1: あの閉鎖的空間は観察し易いとすれば「その十五人は狂気染みないし回想しない」ということは真実でない fact2: 「その十五人は狂気染みるけれど回想しない」ということは間違っている fact3: もしその汎神論がいとおしくないとしたらあの享年は観察し易くない fact4: もし「このラップフィルムは要る一方で配備しない」ということは誤りであるとすれば要るということはない fact5: もしあの閉鎖的空間が株式市場ブームでないとするとその汎神論はプロフェッショナルであるしさらに資源である fact6: もしもあの閉鎖的空間は観察し易いなら「その十五人は狂気染みないけど回想する」ということは真実でない fact7: もしもこのラップフィルムが断であるならその十五人は交雑しなくてそれに合併し易くない fact8: もし仮に「「嵌頓するし株式市場ブームだ」ということは真実でない」物があるとすればあの閉鎖的空間は株式市場ブームでない fact9: その汎神論はペイン・スターリングである fact10: 仮になにがしかの物が回想するとするとそれは観察し易いかまたはいとおしくない fact11: 「その十五人は狂気染みないけどそれは回想する」ということは嘘である fact12: あの閉鎖的空間は観察し易いとすると「その十五人は狂気染みるけれどそれは回想しない」ということは成り立たない fact13: もしその汎神論が観察し易いならあの享年は観察し易くない fact14: もし仮になにがしかの物は待ち遠しくないならば「嵌頓するしその上株式市場ブームである」ということは嘘である fact15: 「このラップフィルムは要るけれどそれは配備しない」ということは偽である fact16: もしもある物が交雑するということはなくて更にそれは合併し易くないなら待ち遠しいということはない fact17: その汎神論はペイン・スターリングだ一方で覚え難いということはない fact18: もしもなにがしかのものがプロフェッショナルだとしたら回想する fact19: もし仮に何かは黒光りするということはないが参加し易いとすると「断である」ということは嘘でない fact20: 「もしもこのラップフィルムが要らないとしたらこのラップフィルムは黒光りしないがしかし参加し易い」ということは真実である fact21: もしその汎神論がペイン・スターリングであるがしかしそれが覚え難くないならあの閉鎖的空間は観察し易い fact22: 観察し易いということはないものは自己批判するが狂気染みない ; $hypothesis$ = 「その十五人が狂気染みないしそれは回想しない」ということは成り立つということはない ; $proof$ = 
fact21 & fact17 -> int1: あの閉鎖的空間は観察し易い; int1 & fact1 -> hypothesis; __PROVED__
事実1: あの閉鎖的空間は観察し易いとすれば「その十五人は狂気染みないし回想しない」ということは真実でない
事実2: 「その十五人は狂気染みるけれど回想しない」ということは間違っている
事実3: もしその汎神論がいとおしくないとしたらあの享年は観察し易くない
事実4: もし「このラップフィルムは要る一方で配備しない」ということは誤りであるとすれば要るということはない
事実5: もしあの閉鎖的空間が株式市場ブームでないとするとその汎神論はプロフェッショナルであるしさらに資源である
事実6: もしもあの閉鎖的空間は観察し易いなら「その十五人は狂気染みないけど回想する」ということは真実でない
事実7: もしもこのラップフィルムが断であるならその十五人は交雑しなくてそれに合併し易くない
事実8: もし仮に「「嵌頓するし株式市場ブームだ」ということは真実でない」物があるとすればあの閉鎖的空間は株式市場ブームでない
事実9: その汎神論はペイン・スターリングである
事実10: 仮になにがしかの物が回想するとするとそれは観察し易いかまたはいとおしくない
事実11: 「その十五人は狂気染みないけどそれは回想する」ということは嘘である
事実12: あの閉鎖的空間は観察し易いとすると「その十五人は狂気染みるけれどそれは回想しない」ということは成り立たない
事実13: もしその汎神論が観察し易いならあの享年は観察し易くない
事実14: もし仮になにがしかの物は待ち遠しくないならば「嵌頓するしその上株式市場ブームである」ということは嘘である
事実15: 「このラップフィルムは要るけれどそれは配備しない」ということは偽である
事実16: もしもある物が交雑するということはなくて更にそれは合併し易くないなら待ち遠しいということはない
事実17: その汎神論はペイン・スターリングだ一方で覚え難いということはない
事実18: もしもなにがしかのものがプロフェッショナルだとしたら回想する
事実19: もし仮に何かは黒光りするということはないが参加し易いとすると「断である」ということは嘘でない
事実20: 「もしもこのラップフィルムが要らないとしたらこのラップフィルムは黒光りしないがしかし参加し易い」ということは真実である
事実21: もしその汎神論がペイン・スターリングであるがしかしそれが覚え難くないならあの閉鎖的空間は観察し易い
事実22: 観察し易いということはないものは自己批判するが狂気染みない

仮説: 「その十五人が狂気染みないしそれは回想しない」ということは成り立つということはない
1. 事実21と事実17から、推論1: "あの閉鎖的空間は観察し易い"が導かれる
2. 推論1と事実1から、仮説が導かれる

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