あの豪族達は踏査するということはない
fact1: もし仮にこの東西対決が推し量るし纏め上げるとするとこのカプチーノは御さらばしない fact2: もしこのカプチーノが麗々しいとすればそれは取れ難い fact3: もしもあの異臭騒ぎが取れ難いならそれは古池である fact4: あの豪族達は古池でない fact5: 仮に「この生地は古池だが大人しない」ということは成り立たないとすればあの豪族達は踏査しない fact6: 「何かは部分開示でないが大人し」ということは成り立たないとするとそれは大人しということはない fact7: 「あの異臭騒ぎは取れ難い」ということは確かである fact8: もしもこの東西対決が推し量らないけれど纏め上げるとすればあの豪族達は踏査する fact9: あの豪族達は推し量らない fact10: この現・未了以外は推し量る fact11: この心棒は着服するしかつそれは大人し fact12: 大人しない物は御さらばするしそれに古池だ fact13: もしこのカプチーノは取れ難いならば「この東西対決は部分開示でないがしかし大人し」ということは事実でない fact14: このプランニング・オブ・アクションは御さらばする fact15: もし仮に「「纏め上げない」ということは成り立つ」物はあるとすれば「この生地は古池だがしかし大人しということはない」ということは成り立たない fact16: 仮にとあるものが御さらばすれば推し量らない一方で纏め上げる fact17: この東西対決は推し量る fact18: このカプチーノは著作であるということはないならば継続し難くて麗々しい fact19: もしもなにがしかの物が古池であるとすれば纏め上げるしそれは推し量るということはない fact20: このカプチーノは御さらばする
void -> assump1: 以下のように仮定する。この東西対決は纏め上げる; fact17 & assump1 -> int1: この東西対決は推し量るし纏め上げる; int1 & fact1 -> int2: このカプチーノは御さらばしない; int2 & fact20 -> int3: これは矛盾である; [assump1] & int3 -> int4: この東西対決は纏め上げるということはない; int4 -> int5: なにかは纏め上げない; int5 & fact15 -> int6: 「この生地は古池だ一方で大人しない」ということは誤りである; int6 & fact5 -> hypothesis;
あの豪族達は踏査する
fact23 -> int7: 仮にこの東西対決が御さらばするとするとそれは推し量らないが纏め上げる; fact22 -> int8: もしこの東西対決が大人しないならばそれは御さらばするしそれにそれは古池だ; fact27 -> int9: 「この東西対決は部分開示でないけれどそれは大人し」ということは成り立たないとすれば「大人しということはない」ということは成り立つ;
$facts$ = fact1: もし仮にこの東西対決が推し量るし纏め上げるとするとこのカプチーノは御さらばしない fact2: もしこのカプチーノが麗々しいとすればそれは取れ難い fact3: もしもあの異臭騒ぎが取れ難いならそれは古池である fact4: あの豪族達は古池でない fact5: 仮に「この生地は古池だが大人しない」ということは成り立たないとすればあの豪族達は踏査しない fact6: 「何かは部分開示でないが大人し」ということは成り立たないとするとそれは大人しということはない fact7: 「あの異臭騒ぎは取れ難い」ということは確かである fact8: もしもこの東西対決が推し量らないけれど纏め上げるとすればあの豪族達は踏査する fact9: あの豪族達は推し量らない fact10: この現・未了以外は推し量る fact11: この心棒は着服するしかつそれは大人し fact12: 大人しない物は御さらばするしそれに古池だ fact13: もしこのカプチーノは取れ難いならば「この東西対決は部分開示でないがしかし大人し」ということは事実でない fact14: このプランニング・オブ・アクションは御さらばする fact15: もし仮に「「纏め上げない」ということは成り立つ」物はあるとすれば「この生地は古池だがしかし大人しということはない」ということは成り立たない fact16: 仮にとあるものが御さらばすれば推し量らない一方で纏め上げる fact17: この東西対決は推し量る fact18: このカプチーノは著作であるということはないならば継続し難くて麗々しい fact19: もしもなにがしかの物が古池であるとすれば纏め上げるしそれは推し量るということはない fact20: このカプチーノは御さらばする ; $hypothesis$ = あの豪族達は踏査するということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この東西対決は纏め上げる; fact17 & assump1 -> int1: この東西対決は推し量るし纏め上げる; int1 & fact1 -> int2: このカプチーノは御さらばしない; int2 & fact20 -> int3: これは矛盾である; [assump1] & int3 -> int4: この東西対決は纏め上げるということはない; int4 -> int5: なにかは纏め上げない; int5 & fact15 -> int6: 「この生地は古池だ一方で大人しない」ということは誤りである; int6 & fact5 -> hypothesis; __PROVED__
事実1: もし仮にこの東西対決が推し量るし纏め上げるとするとこのカプチーノは御さらばしない
事実2: もしこのカプチーノが麗々しいとすればそれは取れ難い
事実3: もしもあの異臭騒ぎが取れ難いならそれは古池である
事実4: あの豪族達は古池でない
事実5: 仮に「この生地は古池だが大人しない」ということは成り立たないとすればあの豪族達は踏査しない
事実6: 「何かは部分開示でないが大人し」ということは成り立たないとするとそれは大人しということはない
事実7: 「あの異臭騒ぎは取れ難い」ということは確かである
事実8: もしもこの東西対決が推し量らないけれど纏め上げるとすればあの豪族達は踏査する
事実9: あの豪族達は推し量らない
事実10: この現・未了以外は推し量る
事実11: この心棒は着服するしかつそれは大人し
事実12: 大人しない物は御さらばするしそれに古池だ
事実13: もしこのカプチーノは取れ難いならば「この東西対決は部分開示でないがしかし大人し」ということは事実でない
事実14: このプランニング・オブ・アクションは御さらばする
事実15: もし仮に「「纏め上げない」ということは成り立つ」物はあるとすれば「この生地は古池だがしかし大人しということはない」ということは成り立たない
事実16: 仮にとあるものが御さらばすれば推し量らない一方で纏め上げる
事実17: この東西対決は推し量る
事実18: このカプチーノは著作であるということはないならば継続し難くて麗々しい
事実19: もしもなにがしかの物が古池であるとすれば纏め上げるしそれは推し量るということはない
事実20: このカプチーノは御さらばする

仮説: あの豪族達は踏査するということはない
1. 仮定1: 以下のように仮定する。この東西対決は纏め上げる
2. 事実17と仮定1から、推論1: "この東西対決は推し量るし纏め上げる"が導かれる
3. 推論1と事実1から、推論2: "このカプチーノは御さらばしない"が導かれる
4. 推論2と事実20から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この東西対決は纏め上げるということはない"が導かれる
6. 推論4から、推論5: "なにかは纏め上げない"が導かれる
7. 推論5と事実15から、推論6: "「この生地は古池だ一方で大人しない」ということは誤りである"が導かれる
8. 推論6と事実5から、仮説が導かれる

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