この統制は彩色する
fact1: もしなにかは捲れるならそれは縁起帳でないししかも探れない fact2: もしこの横揺れがお偉方でないとするとオムライスでなくて苦しということはない fact3: もし仮にあのアレルギー用マーガリンは報告期限でないとしたら「この横揺れは報告期限だけどオムライスでない」ということは誤りだ fact4: もしも「あのアレルギー用マーガリンは心苦しい一方でオムライスでない」ということは誤りだとすればこの統制は彩色する fact5: あのアレルギー用マーガリンが打ち上がるとすれば捲れる fact6: 仮にあの王侯貴族が危なっかしいし心苦しいとすればあの統制は彩色するということはない fact7: もしもあるものが危なっかしくないとすると心苦しいしおまけに苦々しい fact8: もしもあのアレルギー用マーガリンが縁起帳でなくてその上探れないならこの横揺れはお偉方でない fact9: もし仮にこの横揺れは報告期限であるということはないとしたら「あの王侯貴族は危なっかしいし更にそれは彩色する」ということは正しくない fact10: もしこの統制は打ち上がるとすれば「あのアレルギー用マーガリンは打ち上がる」ということは成り立つ fact11: この横揺れはお偉方だ fact12: 仮にこの横揺れが縁起帳でないとすればそれは苦々しいが苦しない fact13: もし仮にあの王侯貴族が心苦しいとしたらこの横揺れは危なっかしい fact14: 仮に「報告期限でない」物はあるとすると「あの王侯貴族は心苦しくないかもしくは危なっかしくないかもしくは両方である」ということは成り立たない fact15: 苦しものはオムライスである fact16: この横揺れはお偉方であるならばそれは報告期限だ fact17: もし仮にこの横揺れがオムライスだということはないしおまけに苦しということはないとすればそれは報告期限でない fact18: もしこの執行役制度が捲れないが探れるとするとこの横揺れは縁起帳でない fact19: あのアレルギー用マーガリンがオムライスだとすればこの横揺れは報告期限でない一方で苦々しい fact20: あのアレルギー用マーガリンは縁起帳であるということはない fact21: あの王侯貴族は心苦しくないとすると「あのアレルギー用マーガリンは心苦しい一方でオムライスでない」ということは間違いである fact22: この執行役制度は捲れない一方で探れる fact23: もし仮に苦し物が心苦しいとすれば苦々しかない fact24: もし仮に危なっかしい物は報告期限であるならば「それは苦々しかない」ということは真実だ
void -> assump1: 以下のように仮定する。あの王侯貴族は心苦しい; fact13 & assump1 -> int1: この横揺れは危なっかしい; fact11 & fact16 -> int2: この横揺れは報告期限だ; int1 & int2 -> int3: この横揺れは危なっかしいし報告期限だ; fact24 -> int4: もしもこの横揺れが危なっかしいししかもそれは報告期限であるとするとそれは苦々しかない; int3 & int4 -> int5: この横揺れは苦々しかない; fact22 & fact18 -> int6: この横揺れは縁起帳でない; fact12 & int6 -> int7: この横揺れは苦々しいがしかし苦しない; int7 -> int8: この横揺れは苦々しい; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あの王侯貴族は心苦しくない; int10 & fact21 -> int11: 「あのアレルギー用マーガリンは心苦しいけどオムライスでない」ということは正しくない; int11 & fact4 -> hypothesis;
あの区画は苦々しい
fact25 -> int12: もしあの区画が危なっかしくないなら心苦しいしかつ苦々しい; fact26 -> int13: 「あのアレルギー用マーガリンは捲れる」ということは真実であるとすれば縁起帳でなくて探れない;
$facts$ = fact1: もしなにかは捲れるならそれは縁起帳でないししかも探れない fact2: もしこの横揺れがお偉方でないとするとオムライスでなくて苦しということはない fact3: もし仮にあのアレルギー用マーガリンは報告期限でないとしたら「この横揺れは報告期限だけどオムライスでない」ということは誤りだ fact4: もしも「あのアレルギー用マーガリンは心苦しい一方でオムライスでない」ということは誤りだとすればこの統制は彩色する fact5: あのアレルギー用マーガリンが打ち上がるとすれば捲れる fact6: 仮にあの王侯貴族が危なっかしいし心苦しいとすればあの統制は彩色するということはない fact7: もしもあるものが危なっかしくないとすると心苦しいしおまけに苦々しい fact8: もしもあのアレルギー用マーガリンが縁起帳でなくてその上探れないならこの横揺れはお偉方でない fact9: もし仮にこの横揺れは報告期限であるということはないとしたら「あの王侯貴族は危なっかしいし更にそれは彩色する」ということは正しくない fact10: もしこの統制は打ち上がるとすれば「あのアレルギー用マーガリンは打ち上がる」ということは成り立つ fact11: この横揺れはお偉方だ fact12: 仮にこの横揺れが縁起帳でないとすればそれは苦々しいが苦しない fact13: もし仮にあの王侯貴族が心苦しいとしたらこの横揺れは危なっかしい fact14: 仮に「報告期限でない」物はあるとすると「あの王侯貴族は心苦しくないかもしくは危なっかしくないかもしくは両方である」ということは成り立たない fact15: 苦しものはオムライスである fact16: この横揺れはお偉方であるならばそれは報告期限だ fact17: もし仮にこの横揺れがオムライスだということはないしおまけに苦しということはないとすればそれは報告期限でない fact18: もしこの執行役制度が捲れないが探れるとするとこの横揺れは縁起帳でない fact19: あのアレルギー用マーガリンがオムライスだとすればこの横揺れは報告期限でない一方で苦々しい fact20: あのアレルギー用マーガリンは縁起帳であるということはない fact21: あの王侯貴族は心苦しくないとすると「あのアレルギー用マーガリンは心苦しい一方でオムライスでない」ということは間違いである fact22: この執行役制度は捲れない一方で探れる fact23: もし仮に苦し物が心苦しいとすれば苦々しかない fact24: もし仮に危なっかしい物は報告期限であるならば「それは苦々しかない」ということは真実だ ; $hypothesis$ = この統制は彩色する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの王侯貴族は心苦しい; fact13 & assump1 -> int1: この横揺れは危なっかしい; fact11 & fact16 -> int2: この横揺れは報告期限だ; int1 & int2 -> int3: この横揺れは危なっかしいし報告期限だ; fact24 -> int4: もしもこの横揺れが危なっかしいししかもそれは報告期限であるとするとそれは苦々しかない; int3 & int4 -> int5: この横揺れは苦々しかない; fact22 & fact18 -> int6: この横揺れは縁起帳でない; fact12 & int6 -> int7: この横揺れは苦々しいがしかし苦しない; int7 -> int8: この横揺れは苦々しい; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あの王侯貴族は心苦しくない; int10 & fact21 -> int11: 「あのアレルギー用マーガリンは心苦しいけどオムライスでない」ということは正しくない; int11 & fact4 -> hypothesis; __PROVED__
事実1: もしなにかは捲れるならそれは縁起帳でないししかも探れない
事実2: もしこの横揺れがお偉方でないとするとオムライスでなくて苦しということはない
事実3: もし仮にあのアレルギー用マーガリンは報告期限でないとしたら「この横揺れは報告期限だけどオムライスでない」ということは誤りだ
事実4: もしも「あのアレルギー用マーガリンは心苦しい一方でオムライスでない」ということは誤りだとすればこの統制は彩色する
事実5: あのアレルギー用マーガリンが打ち上がるとすれば捲れる
事実6: 仮にあの王侯貴族が危なっかしいし心苦しいとすればあの統制は彩色するということはない
事実7: もしもあるものが危なっかしくないとすると心苦しいしおまけに苦々しい
事実8: もしもあのアレルギー用マーガリンが縁起帳でなくてその上探れないならこの横揺れはお偉方でない
事実9: もし仮にこの横揺れは報告期限であるということはないとしたら「あの王侯貴族は危なっかしいし更にそれは彩色する」ということは正しくない
事実10: もしこの統制は打ち上がるとすれば「あのアレルギー用マーガリンは打ち上がる」ということは成り立つ
事実11: この横揺れはお偉方だ
事実12: 仮にこの横揺れが縁起帳でないとすればそれは苦々しいが苦しない
事実13: もし仮にあの王侯貴族が心苦しいとしたらこの横揺れは危なっかしい
事実14: 仮に「報告期限でない」物はあるとすると「あの王侯貴族は心苦しくないかもしくは危なっかしくないかもしくは両方である」ということは成り立たない
事実15: 苦しものはオムライスである
事実16: この横揺れはお偉方であるならばそれは報告期限だ
事実17: もし仮にこの横揺れがオムライスだということはないしおまけに苦しということはないとすればそれは報告期限でない
事実18: もしこの執行役制度が捲れないが探れるとするとこの横揺れは縁起帳でない
事実19: あのアレルギー用マーガリンがオムライスだとすればこの横揺れは報告期限でない一方で苦々しい
事実20: あのアレルギー用マーガリンは縁起帳であるということはない
事実21: あの王侯貴族は心苦しくないとすると「あのアレルギー用マーガリンは心苦しい一方でオムライスでない」ということは間違いである
事実22: この執行役制度は捲れない一方で探れる
事実23: もし仮に苦し物が心苦しいとすれば苦々しかない
事実24: もし仮に危なっかしい物は報告期限であるならば「それは苦々しかない」ということは真実だ

仮説: この統制は彩色する
1. 仮定1: 以下のように仮定する。あの王侯貴族は心苦しい
2. 事実13と仮定1から、推論1: "この横揺れは危なっかしい"が導かれる
3. 事実11と事実16から、推論2: "この横揺れは報告期限だ"が導かれる
4. 推論1と推論2から、推論3: "この横揺れは危なっかしいし報告期限だ"が導かれる
5. 事実24から、推論4: "もしもこの横揺れが危なっかしいししかもそれは報告期限であるとするとそれは苦々しかない"が導かれる
6. 推論3と推論4から、推論5: "この横揺れは苦々しかない"が導かれる
7. 事実22と事実18から、推論6: "この横揺れは縁起帳でない"が導かれる
8. 事実12と推論6から、推論7: "この横揺れは苦々しいがしかし苦しない"が導かれる
9. 推論7から、推論8: "この横揺れは苦々しい"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "あの王侯貴族は心苦しくない"が導かれる
12. 推論10と事実21から、推論11: "「あのアレルギー用マーガリンは心苦しいけどオムライスでない」ということは正しくない"が導かれる
13. 推論11と事実4から、仮説が導かれる

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