あのココナッツクリームは情け深い
fact1: 何もかもはラブホテルであるということはないし難しい fact2: 何かは進め易くないならば「ラブホテルでおまけに蹴上げるということはない」ということは間違いである fact3: もしその本庁各課室はするしないとしたら「あの骨シンチは薄汚いがしかし下部機関でない」ということは成り立つということはない fact4: 下部機関は山腹崩壊だ fact5: 仮に「この約一万三千年前は集積しない」ということは成り立つとすると「この酸塩基平衡が難しいしその上それは官舎だ」ということは事実でない fact6: 仮にある物がＮＯＸでないけれど難しいとするとあのココナッツクリームは情け深い fact7: 何らかの物は官舎でないとすれば「ＮＯＸでしかも八．一五終戦記念日だ」ということは偽だ fact8: この酸塩基平衡はラブホテルでない fact9: この酸塩基平衡は八．一五終戦記念日である fact10: この子機はファックスするしそれに官舎である fact11: 難しいｎＯＸはある fact12: その本庁各課室はするしない fact13: 仮にあのカスタム機能が阻上であるならばこの約一万三千年前は進め易くない fact14: もし仮に「官舎だということはないし集積する」物があるならこの約一万三千年前は情け深い fact15: どれもこれもは官舎であるしさらに集積する fact16: もしこの養畜が山腹崩壊であるならあのカスタム機能は阻上である fact17: 仮に「この酸塩基平衡が八．一五終戦記念日だしおまけにＮＯＸだ」ということは本当だとすればこの約一万三千年前は官舎でない fact18: 「八．一五終戦記念日であるかまたは納得し難いかまたは両方な」ものがあるとしたらこの酸塩基平衡は納得し難い
void -> assump1: 以下のように仮定する。この酸塩基平衡はＮＯＸである; fact9 & assump1 -> int1: この酸塩基平衡は八．一五終戦記念日でＮＯＸである; int1 & fact17 -> int2: この約一万三千年前は官舎でない; fact15 -> int3: この約一万三千年前は官舎でおまけに集積する; int3 -> int4: この約一万三千年前は官舎である; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この酸塩基平衡はＮＯＸでない; fact1 -> int7: この酸塩基平衡はラブホテルでないが難しい; int7 -> int8: 「この酸塩基平衡は難しい」ということは本当だ; int6 & int8 -> int9: この酸塩基平衡はＮＯＸでないがしかしそれは難しい; int9 -> int10: 何かはＮＯＸでないけれど難しい; int10 & fact6 -> hypothesis;
あのココナッツクリームは情け深くない
fact26 -> int11: 「この酸塩基平衡は官舎でない」ということは事実なら「ＮＯＸであるし八．一五終戦記念日だ」ということは偽だ; fact21 -> int12: もし仮にこの約一万三千年前は進め易いということはないとすれば「ラブホテルだしそれは蹴上げない」ということは誤っている; fact23 -> int13: この養畜は下部機関であるとすると「「それは山腹崩壊でない」ということは誤りだ」ということは成り立つ; fact20 & fact24 -> int14: 「あの骨シンチは薄汚いけど下部機関でない」ということは成り立たない; int14 -> int15: 「「薄汚いが下部機関だということはない」ということは誤っている」ものはある;
$facts$ = fact1: 何もかもはラブホテルであるということはないし難しい fact2: 何かは進め易くないならば「ラブホテルでおまけに蹴上げるということはない」ということは間違いである fact3: もしその本庁各課室はするしないとしたら「あの骨シンチは薄汚いがしかし下部機関でない」ということは成り立つということはない fact4: 下部機関は山腹崩壊だ fact5: 仮に「この約一万三千年前は集積しない」ということは成り立つとすると「この酸塩基平衡が難しいしその上それは官舎だ」ということは事実でない fact6: 仮にある物がＮＯＸでないけれど難しいとするとあのココナッツクリームは情け深い fact7: 何らかの物は官舎でないとすれば「ＮＯＸでしかも八．一五終戦記念日だ」ということは偽だ fact8: この酸塩基平衡はラブホテルでない fact9: この酸塩基平衡は八．一五終戦記念日である fact10: この子機はファックスするしそれに官舎である fact11: 難しいｎＯＸはある fact12: その本庁各課室はするしない fact13: 仮にあのカスタム機能が阻上であるならばこの約一万三千年前は進め易くない fact14: もし仮に「官舎だということはないし集積する」物があるならこの約一万三千年前は情け深い fact15: どれもこれもは官舎であるしさらに集積する fact16: もしこの養畜が山腹崩壊であるならあのカスタム機能は阻上である fact17: 仮に「この酸塩基平衡が八．一五終戦記念日だしおまけにＮＯＸだ」ということは本当だとすればこの約一万三千年前は官舎でない fact18: 「八．一五終戦記念日であるかまたは納得し難いかまたは両方な」ものがあるとしたらこの酸塩基平衡は納得し難い ; $hypothesis$ = あのココナッツクリームは情け深い ; $proof$ = 
void -> assump1: 以下のように仮定する。この酸塩基平衡はＮＯＸである; fact9 & assump1 -> int1: この酸塩基平衡は八．一五終戦記念日でＮＯＸである; int1 & fact17 -> int2: この約一万三千年前は官舎でない; fact15 -> int3: この約一万三千年前は官舎でおまけに集積する; int3 -> int4: この約一万三千年前は官舎である; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この酸塩基平衡はＮＯＸでない; fact1 -> int7: この酸塩基平衡はラブホテルでないが難しい; int7 -> int8: 「この酸塩基平衡は難しい」ということは本当だ; int6 & int8 -> int9: この酸塩基平衡はＮＯＸでないがしかしそれは難しい; int9 -> int10: 何かはＮＯＸでないけれど難しい; int10 & fact6 -> hypothesis; __PROVED__
事実1: 何もかもはラブホテルであるということはないし難しい
事実2: 何かは進め易くないならば「ラブホテルでおまけに蹴上げるということはない」ということは間違いである
事実3: もしその本庁各課室はするしないとしたら「あの骨シンチは薄汚いがしかし下部機関でない」ということは成り立つということはない
事実4: 下部機関は山腹崩壊だ
事実5: 仮に「この約一万三千年前は集積しない」ということは成り立つとすると「この酸塩基平衡が難しいしその上それは官舎だ」ということは事実でない
事実6: 仮にある物がＮＯＸでないけれど難しいとするとあのココナッツクリームは情け深い
事実7: 何らかの物は官舎でないとすれば「ＮＯＸでしかも八．一五終戦記念日だ」ということは偽だ
事実8: この酸塩基平衡はラブホテルでない
事実9: この酸塩基平衡は八．一五終戦記念日である
事実10: この子機はファックスするしそれに官舎である
事実11: 難しいｎＯＸはある
事実12: その本庁各課室はするしない
事実13: 仮にあのカスタム機能が阻上であるならばこの約一万三千年前は進め易くない
事実14: もし仮に「官舎だということはないし集積する」物があるならこの約一万三千年前は情け深い
事実15: どれもこれもは官舎であるしさらに集積する
事実16: もしこの養畜が山腹崩壊であるならあのカスタム機能は阻上である
事実17: 仮に「この酸塩基平衡が八．一五終戦記念日だしおまけにＮＯＸだ」ということは本当だとすればこの約一万三千年前は官舎でない
事実18: 「八．一五終戦記念日であるかまたは納得し難いかまたは両方な」ものがあるとしたらこの酸塩基平衡は納得し難い

仮説: あのココナッツクリームは情け深い
1. 仮定1: 以下のように仮定する。この酸塩基平衡はＮＯＸである
2. 事実9と仮定1から、推論1: "この酸塩基平衡は八．一五終戦記念日でＮＯＸである"が導かれる
3. 推論1と事実17から、推論2: "この約一万三千年前は官舎でない"が導かれる
4. 事実15から、推論3: "この約一万三千年前は官舎でおまけに集積する"が導かれる
5. 推論3から、推論4: "この約一万三千年前は官舎である"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この酸塩基平衡はＮＯＸでない"が導かれる
8. 事実1から、推論7: "この酸塩基平衡はラブホテルでないが難しい"が導かれる
9. 推論7から、推論8: "「この酸塩基平衡は難しい」ということは本当だ"が導かれる
10. 推論6と推論8から、推論9: "この酸塩基平衡はＮＯＸでないがしかしそれは難しい"が導かれる
11. 推論9から、推論10: "何かはＮＯＸでないけれど難しい"が導かれる
12. 推論10と事実6から、仮説が導かれる

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