「あの譲渡禁止特約は買い整えないが擬制する」ということは成り立たない
fact1: その乗数効果がそそっかしくてそれにそれは張り直す fact2: そそっかしくない物は買い整えないけれど擬制する fact3: その乗数効果はそそっかしい fact4: もし仮にその乗数効果は擬制するとすれば「あの譲渡禁止特約は買い整えない一方で擬制する」ということは偽だ fact5: 何かは張り直すとすると擬制する
fact1 -> int1: その乗数効果は張り直す; fact5 -> int2: その乗数効果は張り直すとすると「それは擬制する」ということは正しい; int1 & int2 -> int3: その乗数効果は擬制する; int3 & fact4 -> hypothesis;
「あの譲渡禁止特約は買い整えないけど擬制する」ということは事実だ
fact6 -> int4: 仮にあの譲渡禁止特約がそそっかしくないならばそれは買い整えない一方で擬制する;
$facts$ = fact1: その乗数効果がそそっかしくてそれにそれは張り直す fact2: そそっかしくない物は買い整えないけれど擬制する fact3: その乗数効果はそそっかしい fact4: もし仮にその乗数効果は擬制するとすれば「あの譲渡禁止特約は買い整えない一方で擬制する」ということは偽だ fact5: 何かは張り直すとすると擬制する ; $hypothesis$ = 「あの譲渡禁止特約は買い整えないが擬制する」ということは成り立たない ; $proof$ = 
fact1 -> int1: その乗数効果は張り直す; fact5 -> int2: その乗数効果は張り直すとすると「それは擬制する」ということは正しい; int1 & int2 -> int3: その乗数効果は擬制する; int3 & fact4 -> hypothesis; __PROVED__
事実1: その乗数効果がそそっかしくてそれにそれは張り直す
事実2: そそっかしくない物は買い整えないけれど擬制する
事実3: その乗数効果はそそっかしい
事実4: もし仮にその乗数効果は擬制するとすれば「あの譲渡禁止特約は買い整えない一方で擬制する」ということは偽だ
事実5: 何かは張り直すとすると擬制する

仮説: 「あの譲渡禁止特約は買い整えないが擬制する」ということは成り立たない
1. 事実1から、推論1: "その乗数効果は張り直す"が導かれる
2. 事実5から、推論2: "その乗数効果は張り直すとすると「それは擬制する」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "その乗数効果は擬制する"が導かれる
4. 推論3と事実4から、仮説が導かれる

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