この血統的因縁は離れ難いけど入り為さらない
fact1: この秩序感は入り為さる fact2: 仮になんらかの物は折れ易いとすると「それは離れ難いし加えてそれは入り為さらない」ということは成り立たない fact3: もしもとある物は突き飛ばさない一方でえぐいとしたら「それは折れ易い」ということは成り立つ fact4: もしも「この血統的因縁は離れ難いけど入り為さらない」ということは成り立たないとするとそれは大間崎だ fact5: この秩序感は丸暗記するけど離れ難くない fact6: この血統的因縁が大間崎であるならばこの秩序感は折れ易くない fact7: この血統的因縁は入り為さるということはないが突き飛ばす fact8: この秩序感は注文品だ fact9: もしこの秩序感は大間崎であるなら「この血統的因縁は折れ易い」ということは確かだ fact10: 仮にこの秩序感が注文品であるとするとそれは突き飛ばさなくて更にそれはえぐい
void -> assump1: 以下のように仮定する。「この血統的因縁は離れ難いけど入り為さらない」ということは誤っている; fact4 & assump1 -> int1: この血統的因縁は大間崎である; int1 & fact6 -> int2: この秩序感は折れ易くない; fact10 & fact8 -> int3: この秩序感は突き飛ばさないがえぐい; fact3 -> int4: もし仮にこの秩序感が突き飛ばさないがえぐいとすると折れ易い; int3 & int4 -> int5: この秩序感は折れ易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「この血統的因縁は離れ難いけれど入り為さらない」ということは確かだということはない
fact12 -> int7: もしこの血統的因縁は折れ易いとすると「離れ難いがしかし入り為さらない」ということは誤っている;
$facts$ = fact1: この秩序感は入り為さる fact2: 仮になんらかの物は折れ易いとすると「それは離れ難いし加えてそれは入り為さらない」ということは成り立たない fact3: もしもとある物は突き飛ばさない一方でえぐいとしたら「それは折れ易い」ということは成り立つ fact4: もしも「この血統的因縁は離れ難いけど入り為さらない」ということは成り立たないとするとそれは大間崎だ fact5: この秩序感は丸暗記するけど離れ難くない fact6: この血統的因縁が大間崎であるならばこの秩序感は折れ易くない fact7: この血統的因縁は入り為さるということはないが突き飛ばす fact8: この秩序感は注文品だ fact9: もしこの秩序感は大間崎であるなら「この血統的因縁は折れ易い」ということは確かだ fact10: 仮にこの秩序感が注文品であるとするとそれは突き飛ばさなくて更にそれはえぐい ; $hypothesis$ = この血統的因縁は離れ難いけど入り為さらない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この血統的因縁は離れ難いけど入り為さらない」ということは誤っている; fact4 & assump1 -> int1: この血統的因縁は大間崎である; int1 & fact6 -> int2: この秩序感は折れ易くない; fact10 & fact8 -> int3: この秩序感は突き飛ばさないがえぐい; fact3 -> int4: もし仮にこの秩序感が突き飛ばさないがえぐいとすると折れ易い; int3 & int4 -> int5: この秩序感は折れ易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: この秩序感は入り為さる
事実2: 仮になんらかの物は折れ易いとすると「それは離れ難いし加えてそれは入り為さらない」ということは成り立たない
事実3: もしもとある物は突き飛ばさない一方でえぐいとしたら「それは折れ易い」ということは成り立つ
事実4: もしも「この血統的因縁は離れ難いけど入り為さらない」ということは成り立たないとするとそれは大間崎だ
事実5: この秩序感は丸暗記するけど離れ難くない
事実6: この血統的因縁が大間崎であるならばこの秩序感は折れ易くない
事実7: この血統的因縁は入り為さるということはないが突き飛ばす
事実8: この秩序感は注文品だ
事実9: もしこの秩序感は大間崎であるなら「この血統的因縁は折れ易い」ということは確かだ
事実10: 仮にこの秩序感が注文品であるとするとそれは突き飛ばさなくて更にそれはえぐい

仮説: この血統的因縁は離れ難いけど入り為さらない
1. 仮定1: 以下のように仮定する。「この血統的因縁は離れ難いけど入り為さらない」ということは誤っている
2. 事実4と仮定1から、推論1: "この血統的因縁は大間崎である"が導かれる
3. 推論1と事実6から、推論2: "この秩序感は折れ易くない"が導かれる
4. 事実10と事実8から、推論3: "この秩序感は突き飛ばさないがえぐい"が導かれる
5. 事実3から、推論4: "もし仮にこの秩序感が突き飛ばさないがえぐいとすると折れ易い"が導かれる
6. 推論3と推論4から、推論5: "この秩序感は折れ易い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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