もしあの実質が再発し易いならあの秘密印刷所は脂汗でない一方で確からしい
fact1: あの秘密印刷所は再発し易くない fact2: もし仮にとある物は連枝衆でないなら「それは愛着研究であるし重ねる」ということは確かでない fact3: あの実質は奥谷弁護人だ fact4: 仮にあの実質が愛着研究ならばあの秘密印刷所は脂汗であるということはない fact5: もし仮に「あのメイン料理は重ねない」ということは誤りでないとすればそれは愛着研究であるしおまけに連枝衆だ fact6: あの秘密印刷所が奥谷弁護人だけどひもじくない fact7: もし仮にあのメイン料理が連枝衆ならばあの秘密印刷所は奥谷弁護人である fact8: あの秘密印刷所は履き為さるということはないけれどそれは絶える fact9: あの秘密印刷所は確からしいが手厚くない fact10: 「あの実質が愛着研究だしその上重ねる」ということは偽である fact11: もし仮に奥谷弁護人が再発し易いとしたらそれは連枝衆でない fact12: 仮に「あの実質は愛着研究でないがしかし重ねる」ということは成り立たないならあの秘密印刷所は脂汗であるということはない fact13: あの秘密印刷所は連枝衆でない fact14: 「あの実質は連枝衆でない一方で確からしい」ということは成り立たない fact15: もしもあの実質は連枝衆でないとしたら「「愛着研究だし重ねる」ということは正しい」ということは成り立たない fact16: あるものは脂汗でないとすれば「「それは再発し易くないが確からしい」ということは間違っていない」ということは成り立つということはない fact17: あの秘密印刷所は手厚くない fact18: この組曲が連枝衆だしその上巻頭ならそれは扱い難くない fact19: あの秘密印刷所は愛着研究である fact20: 仮になにがしかのものは連枝衆でないとすると「それは愛着研究でない一方で重ねる」ということは成り立たない fact21: もしあの香港経由は脂汗であるかまたは重ねないかまたは両方ともであるなら「あのメイン料理は重ねない」ということは確かである
void -> assump1: 以下のように仮定する。あの実質は再発し易い; fact3 & assump1 -> int1: あの実質は奥谷弁護人であるし再発し易い; fact11 -> int2: もしあの実質が奥谷弁護人だし更にそれは再発し易いとすると「連枝衆でない」ということは確かである; int1 & int2 -> int3: あの実質は連枝衆でない; fact20 -> int4: あの実質は連枝衆でないならば「「それは愛着研究でなくてそれは重ねる」ということは本当である」ということは成り立たない; int3 & int4 -> int5: 「あの実質は愛着研究でないがそれは重ねる」ということは成り立たない; int5 & fact12 -> int6: あの秘密印刷所は脂汗でない; fact9 -> int7: あの秘密印刷所は確からしい; int6 & int7 -> int8: あの秘密印刷所は脂汗でないがしかしそれは確からしい; [assump1] & int8 -> hypothesis;
あのホメオスタシスは再発し易い
$facts$ = fact1: あの秘密印刷所は再発し易くない fact2: もし仮にとある物は連枝衆でないなら「それは愛着研究であるし重ねる」ということは確かでない fact3: あの実質は奥谷弁護人だ fact4: 仮にあの実質が愛着研究ならばあの秘密印刷所は脂汗であるということはない fact5: もし仮に「あのメイン料理は重ねない」ということは誤りでないとすればそれは愛着研究であるしおまけに連枝衆だ fact6: あの秘密印刷所が奥谷弁護人だけどひもじくない fact7: もし仮にあのメイン料理が連枝衆ならばあの秘密印刷所は奥谷弁護人である fact8: あの秘密印刷所は履き為さるということはないけれどそれは絶える fact9: あの秘密印刷所は確からしいが手厚くない fact10: 「あの実質が愛着研究だしその上重ねる」ということは偽である fact11: もし仮に奥谷弁護人が再発し易いとしたらそれは連枝衆でない fact12: 仮に「あの実質は愛着研究でないがしかし重ねる」ということは成り立たないならあの秘密印刷所は脂汗であるということはない fact13: あの秘密印刷所は連枝衆でない fact14: 「あの実質は連枝衆でない一方で確からしい」ということは成り立たない fact15: もしもあの実質は連枝衆でないとしたら「「愛着研究だし重ねる」ということは正しい」ということは成り立たない fact16: あるものは脂汗でないとすれば「「それは再発し易くないが確からしい」ということは間違っていない」ということは成り立つということはない fact17: あの秘密印刷所は手厚くない fact18: この組曲が連枝衆だしその上巻頭ならそれは扱い難くない fact19: あの秘密印刷所は愛着研究である fact20: 仮になにがしかのものは連枝衆でないとすると「それは愛着研究でない一方で重ねる」ということは成り立たない fact21: もしあの香港経由は脂汗であるかまたは重ねないかまたは両方ともであるなら「あのメイン料理は重ねない」ということは確かである ; $hypothesis$ = もしあの実質が再発し易いならあの秘密印刷所は脂汗でない一方で確からしい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの実質は再発し易い; fact3 & assump1 -> int1: あの実質は奥谷弁護人であるし再発し易い; fact11 -> int2: もしあの実質が奥谷弁護人だし更にそれは再発し易いとすると「連枝衆でない」ということは確かである; int1 & int2 -> int3: あの実質は連枝衆でない; fact20 -> int4: あの実質は連枝衆でないならば「「それは愛着研究でなくてそれは重ねる」ということは本当である」ということは成り立たない; int3 & int4 -> int5: 「あの実質は愛着研究でないがそれは重ねる」ということは成り立たない; int5 & fact12 -> int6: あの秘密印刷所は脂汗でない; fact9 -> int7: あの秘密印刷所は確からしい; int6 & int7 -> int8: あの秘密印刷所は脂汗でないがしかしそれは確からしい; [assump1] & int8 -> hypothesis; __PROVED__
事実1: あの秘密印刷所は再発し易くない
事実2: もし仮にとある物は連枝衆でないなら「それは愛着研究であるし重ねる」ということは確かでない
事実3: あの実質は奥谷弁護人だ
事実4: 仮にあの実質が愛着研究ならばあの秘密印刷所は脂汗であるということはない
事実5: もし仮に「あのメイン料理は重ねない」ということは誤りでないとすればそれは愛着研究であるしおまけに連枝衆だ
事実6: あの秘密印刷所が奥谷弁護人だけどひもじくない
事実7: もし仮にあのメイン料理が連枝衆ならばあの秘密印刷所は奥谷弁護人である
事実8: あの秘密印刷所は履き為さるということはないけれどそれは絶える
事実9: あの秘密印刷所は確からしいが手厚くない
事実10: 「あの実質が愛着研究だしその上重ねる」ということは偽である
事実11: もし仮に奥谷弁護人が再発し易いとしたらそれは連枝衆でない
事実12: 仮に「あの実質は愛着研究でないがしかし重ねる」ということは成り立たないならあの秘密印刷所は脂汗であるということはない
事実13: あの秘密印刷所は連枝衆でない
事実14: 「あの実質は連枝衆でない一方で確からしい」ということは成り立たない
事実15: もしもあの実質は連枝衆でないとしたら「「愛着研究だし重ねる」ということは正しい」ということは成り立たない
事実16: あるものは脂汗でないとすれば「「それは再発し易くないが確からしい」ということは間違っていない」ということは成り立つということはない
事実17: あの秘密印刷所は手厚くない
事実18: この組曲が連枝衆だしその上巻頭ならそれは扱い難くない
事実19: あの秘密印刷所は愛着研究である
事実20: 仮になにがしかのものは連枝衆でないとすると「それは愛着研究でない一方で重ねる」ということは成り立たない
事実21: もしあの香港経由は脂汗であるかまたは重ねないかまたは両方ともであるなら「あのメイン料理は重ねない」ということは確かである

仮説: もしあの実質が再発し易いならあの秘密印刷所は脂汗でない一方で確からしい
1. 仮定1: 以下のように仮定する。あの実質は再発し易い
2. 事実3と仮定1から、推論1: "あの実質は奥谷弁護人であるし再発し易い"が導かれる
3. 事実11から、推論2: "もしあの実質が奥谷弁護人だし更にそれは再発し易いとすると「連枝衆でない」ということは確かである"が導かれる
4. 推論1と推論2から、推論3: "あの実質は連枝衆でない"が導かれる
5. 事実20から、推論4: "あの実質は連枝衆でないならば「「それは愛着研究でなくてそれは重ねる」ということは本当である」ということは成り立たない"が導かれる
6. 推論3と推論4から、推論5: "「あの実質は愛着研究でないがそれは重ねる」ということは成り立たない"が導かれる
7. 推論5と事実12から、推論6: "あの秘密印刷所は脂汗でない"が導かれる
8. 事実9から、推論7: "あの秘密印刷所は確からしい"が導かれる
9. 推論6と推論7から、推論8: "あの秘密印刷所は脂汗でないがしかしそれは確からしい"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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