「あの邂逅は無限ループだ」ということは本当だ
fact1: 何らかの物はサンディカリスムだということはないとすれば「無限ループでない」ということは本当である fact2: この百メートル程度は無限ループである fact3: あの邂逅は忙しい fact4: 仮にあの保護規定が名乗り出ればそれは話さない fact5: 仮にその台座が大当たりするということはないとしたらこの城野キャンプは薄っぺらいけどそれは掻き易くない fact6: 仮にあの邂逅が設立登記だしおまけに教育的環境であるならこの基準認定は教育的環境でない fact7: 「その過去経験は無限ループである」ということは真実である fact8: 「あの邂逅はさり気無いかまたはばらつくということはないかもしくはどちらもだ」ということは事実と異なる fact9: 「「あの邂逅はさり気無いかもしくはばらつかない」ということは真実である」ということは成り立つということはないとするとそれは混ぜ込まない fact10: そのエンチクロペディーは名乗り出る fact11: 仮にそのエンチクロペディーが名乗り出るとしたらあの保護規定は名乗り出る fact12: もしとあるものが混ぜ込まないならばそれは設立登記だし加えてそれは自然退縮である fact13: あの邂逅は無限ループだ fact14: 仮にあの保護規定が話さないとするとその台座は大当たりするということはない fact15: もしも何かは教育的環境でないとすればサンディカリスムだししかも無限ループだ
fact13 -> hypothesis;
fact13 -> hypothesis;
あの邂逅は無限ループでない
fact16 -> int1: 仮にあの邂逅はサンディカリスムであるということはないならばそれは無限ループでない;
$facts$ = fact1: 何らかの物はサンディカリスムだということはないとすれば「無限ループでない」ということは本当である fact2: この百メートル程度は無限ループである fact3: あの邂逅は忙しい fact4: 仮にあの保護規定が名乗り出ればそれは話さない fact5: 仮にその台座が大当たりするということはないとしたらこの城野キャンプは薄っぺらいけどそれは掻き易くない fact6: 仮にあの邂逅が設立登記だしおまけに教育的環境であるならこの基準認定は教育的環境でない fact7: 「その過去経験は無限ループである」ということは真実である fact8: 「あの邂逅はさり気無いかまたはばらつくということはないかもしくはどちらもだ」ということは事実と異なる fact9: 「「あの邂逅はさり気無いかもしくはばらつかない」ということは真実である」ということは成り立つということはないとするとそれは混ぜ込まない fact10: そのエンチクロペディーは名乗り出る fact11: 仮にそのエンチクロペディーが名乗り出るとしたらあの保護規定は名乗り出る fact12: もしとあるものが混ぜ込まないならばそれは設立登記だし加えてそれは自然退縮である fact13: あの邂逅は無限ループだ fact14: 仮にあの保護規定が話さないとするとその台座は大当たりするということはない fact15: もしも何かは教育的環境でないとすればサンディカリスムだししかも無限ループだ ; $hypothesis$ = 「あの邂逅は無限ループだ」ということは本当だ ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: 何らかの物はサンディカリスムだということはないとすれば「無限ループでない」ということは本当である
事実2: この百メートル程度は無限ループである
事実3: あの邂逅は忙しい
事実4: 仮にあの保護規定が名乗り出ればそれは話さない
事実5: 仮にその台座が大当たりするということはないとしたらこの城野キャンプは薄っぺらいけどそれは掻き易くない
事実6: 仮にあの邂逅が設立登記だしおまけに教育的環境であるならこの基準認定は教育的環境でない
事実7: 「その過去経験は無限ループである」ということは真実である
事実8: 「あの邂逅はさり気無いかまたはばらつくということはないかもしくはどちらもだ」ということは事実と異なる
事実9: 「「あの邂逅はさり気無いかもしくはばらつかない」ということは真実である」ということは成り立つということはないとするとそれは混ぜ込まない
事実10: そのエンチクロペディーは名乗り出る
事実11: 仮にそのエンチクロペディーが名乗り出るとしたらあの保護規定は名乗り出る
事実12: もしとあるものが混ぜ込まないならばそれは設立登記だし加えてそれは自然退縮である
事実13: あの邂逅は無限ループだ
事実14: 仮にあの保護規定が話さないとするとその台座は大当たりするということはない
事実15: もしも何かは教育的環境でないとすればサンディカリスムだししかも無限ループだ

仮説: 「あの邂逅は無限ループだ」ということは本当だ
1. 事実13から、仮説が導かれる

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