もしもこの艱難辛苦が動かし続けないならばあの区域性はテロ支援国家だし等分する
fact1: この区域性は満喫出来ない fact2: その色っぽさは満喫出来ない fact3: 「この区域性は猛らないがしかし等分する」ということは偽である fact4: 仮に「とある物は猛らないしまた等分しない」ということは成り立たないならそれは等分する fact5: この艱難辛苦は把握し難い fact6: もし仮にこの区域性が把握し難いししかも動かし続けるとすればこの艱難辛苦は等分する fact7: この艱難辛苦は等分する fact8: 「この区域性は猛らないがセンターバックだ」ということは成り立たない fact9: 「この区域性は動かし続けない」ということは事実である fact10: 仮にこの艱難辛苦が猛るとすればこの区域性はテロ支援国家でまたそれは動かし続ける fact11: もしもこの区域性は満喫出来ないなら「それは猛らなくて等分しない」ということは成り立たない fact12: 仮にこの艱難辛苦が把握し難いけれど動かし続けないならばこの区域性はテロ支援国家である
void -> assump1: 以下のように仮定する。この艱難辛苦は動かし続けない; fact5 & assump1 -> int1: この艱難辛苦は把握し難い一方でそれは動かし続けない; int1 & fact12 -> int2: この区域性はテロ支援国家である; fact4 -> int3: 「この区域性は猛らないし等分するということはない」ということは誤っていれば「等分する」ということは事実だ; fact1 & fact11 -> int4: 「この区域性は猛らなくて等分しない」ということは偽である; int3 & int4 -> int5: この区域性は等分する; int2 & int5 -> int6: この区域性はテロ支援国家で等分する; [assump1] & int6 -> hypothesis;
$facts$ = fact1: この区域性は満喫出来ない fact2: その色っぽさは満喫出来ない fact3: 「この区域性は猛らないがしかし等分する」ということは偽である fact4: 仮に「とある物は猛らないしまた等分しない」ということは成り立たないならそれは等分する fact5: この艱難辛苦は把握し難い fact6: もし仮にこの区域性が把握し難いししかも動かし続けるとすればこの艱難辛苦は等分する fact7: この艱難辛苦は等分する fact8: 「この区域性は猛らないがセンターバックだ」ということは成り立たない fact9: 「この区域性は動かし続けない」ということは事実である fact10: 仮にこの艱難辛苦が猛るとすればこの区域性はテロ支援国家でまたそれは動かし続ける fact11: もしもこの区域性は満喫出来ないなら「それは猛らなくて等分しない」ということは成り立たない fact12: 仮にこの艱難辛苦が把握し難いけれど動かし続けないならばこの区域性はテロ支援国家である ; $hypothesis$ = もしもこの艱難辛苦が動かし続けないならばあの区域性はテロ支援国家だし等分する ; $proof$ = 
void -> assump1: 以下のように仮定する。この艱難辛苦は動かし続けない; fact5 & assump1 -> int1: この艱難辛苦は把握し難い一方でそれは動かし続けない; int1 & fact12 -> int2: この区域性はテロ支援国家である; fact4 -> int3: 「この区域性は猛らないし等分するということはない」ということは誤っていれば「等分する」ということは事実だ; fact1 & fact11 -> int4: 「この区域性は猛らなくて等分しない」ということは偽である; int3 & int4 -> int5: この区域性は等分する; int2 & int5 -> int6: この区域性はテロ支援国家で等分する; [assump1] & int6 -> hypothesis; __PROVED__
事実1: この区域性は満喫出来ない
事実2: その色っぽさは満喫出来ない
事実3: 「この区域性は猛らないがしかし等分する」ということは偽である
事実4: 仮に「とある物は猛らないしまた等分しない」ということは成り立たないならそれは等分する
事実5: この艱難辛苦は把握し難い
事実6: もし仮にこの区域性が把握し難いししかも動かし続けるとすればこの艱難辛苦は等分する
事実7: この艱難辛苦は等分する
事実8: 「この区域性は猛らないがセンターバックだ」ということは成り立たない
事実9: 「この区域性は動かし続けない」ということは事実である
事実10: 仮にこの艱難辛苦が猛るとすればこの区域性はテロ支援国家でまたそれは動かし続ける
事実11: もしもこの区域性は満喫出来ないなら「それは猛らなくて等分しない」ということは成り立たない
事実12: 仮にこの艱難辛苦が把握し難いけれど動かし続けないならばこの区域性はテロ支援国家である

仮説: もしもこの艱難辛苦が動かし続けないならばあの区域性はテロ支援国家だし等分する
1. 仮定1: 以下のように仮定する。この艱難辛苦は動かし続けない
2. 事実5と仮定1から、推論1: "この艱難辛苦は把握し難い一方でそれは動かし続けない"が導かれる
3. 推論1と事実12から、推論2: "この区域性はテロ支援国家である"が導かれる
4. 事実4から、推論3: "「この区域性は猛らないし等分するということはない」ということは誤っていれば「等分する」ということは事実だ"が導かれる
5. 事実1と事実11から、推論4: "「この区域性は猛らなくて等分しない」ということは偽である"が導かれる
6. 推論3と推論4から、推論5: "この区域性は等分する"が導かれる
7. 推論2と推論5から、推論6: "この区域性はテロ支援国家で等分する"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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