「その定額法はどす黒い」ということは事実だ
fact1: 仮にその八十ページ参照が執念深いならその定額法は一要素であるということはない一方で履く fact2: もしもなんらかのものは一要素であるということはないが履くとしたら「それはどす黒くない」ということは事実である fact3: 仮にその八十ページ参照は白くないなら「それは階段上昇であるし消滅す」ということは本当でない fact4: その定額法は一要素だ fact5: もし仮に「何かは勿体振る一方で握り直さない」ということは真実だということはないなら何気無いということはない fact6: その定額法は一要素だけれど履くということはない fact7: もし仮にある物が履かないとするとそれは一要素である fact8: なにがしかのものが履かないならばどす黒い fact9: 仮に「その八十ページ参照が階段上昇だしおまけにそれは消滅す」ということは偽だとすればその定額法は階段上昇でない fact10: 何気無くないものは執念深い物でありしかもどす黒くない fact11: 仮になんらかのものは階段上昇でないとしたら「「それは勿体振るけれど握り直さない」ということは事実である」ということは偽だ fact12: 仮に「あの独り者は勿体振らないけど階段上昇だ」ということは間違いであるとするとその八十ページ参照は握り直すということはない fact13: もし仮にその定額法がどす黒くないとするとそれは掛け易い fact14: もし仮に執念深いしどす黒いということはない物があればこの松代藩領は履かない
fact6 -> int1: 「その定額法は履かない」ということは本当である; fact8 -> int2: もし仮にその定額法は履くということはないなら「どす黒い」ということは確かである; int1 & int2 -> hypothesis;
fact6 -> int1: ¬{B}{a}; fact8 -> int2: ¬{B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
その定額法はどす黒くない
fact15 -> int3: もしもその定額法は一要素だということはない一方で履くとしたらそれはどす黒くない;
$facts$ = fact1: 仮にその八十ページ参照が執念深いならその定額法は一要素であるということはない一方で履く fact2: もしもなんらかのものは一要素であるということはないが履くとしたら「それはどす黒くない」ということは事実である fact3: 仮にその八十ページ参照は白くないなら「それは階段上昇であるし消滅す」ということは本当でない fact4: その定額法は一要素だ fact5: もし仮に「何かは勿体振る一方で握り直さない」ということは真実だということはないなら何気無いということはない fact6: その定額法は一要素だけれど履くということはない fact7: もし仮にある物が履かないとするとそれは一要素である fact8: なにがしかのものが履かないならばどす黒い fact9: 仮に「その八十ページ参照が階段上昇だしおまけにそれは消滅す」ということは偽だとすればその定額法は階段上昇でない fact10: 何気無くないものは執念深い物でありしかもどす黒くない fact11: 仮になんらかのものは階段上昇でないとしたら「「それは勿体振るけれど握り直さない」ということは事実である」ということは偽だ fact12: 仮に「あの独り者は勿体振らないけど階段上昇だ」ということは間違いであるとするとその八十ページ参照は握り直すということはない fact13: もし仮にその定額法がどす黒くないとするとそれは掛け易い fact14: もし仮に執念深いしどす黒いということはない物があればこの松代藩領は履かない ; $hypothesis$ = 「その定額法はどす黒い」ということは事実だ ; $proof$ = 
fact6 -> int1: 「その定額法は履かない」ということは本当である; fact8 -> int2: もし仮にその定額法は履くということはないなら「どす黒い」ということは確かである; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にその八十ページ参照が執念深いならその定額法は一要素であるということはない一方で履く
事実2: もしもなんらかのものは一要素であるということはないが履くとしたら「それはどす黒くない」ということは事実である
事実3: 仮にその八十ページ参照は白くないなら「それは階段上昇であるし消滅す」ということは本当でない
事実4: その定額法は一要素だ
事実5: もし仮に「何かは勿体振る一方で握り直さない」ということは真実だということはないなら何気無いということはない
事実6: その定額法は一要素だけれど履くということはない
事実7: もし仮にある物が履かないとするとそれは一要素である
事実8: なにがしかのものが履かないならばどす黒い
事実9: 仮に「その八十ページ参照が階段上昇だしおまけにそれは消滅す」ということは偽だとすればその定額法は階段上昇でない
事実10: 何気無くないものは執念深い物でありしかもどす黒くない
事実11: 仮になんらかのものは階段上昇でないとしたら「「それは勿体振るけれど握り直さない」ということは事実である」ということは偽だ
事実12: 仮に「あの独り者は勿体振らないけど階段上昇だ」ということは間違いであるとするとその八十ページ参照は握り直すということはない
事実13: もし仮にその定額法がどす黒くないとするとそれは掛け易い
事実14: もし仮に執念深いしどす黒いということはない物があればこの松代藩領は履かない

仮説: 「その定額法はどす黒い」ということは事実だ
1. 事実6から、推論1: "「その定額法は履かない」ということは本当である"が導かれる
2. 事実8から、推論2: "もし仮にその定額法は履くということはないなら「どす黒い」ということは確かである"が導かれる
3. 推論1と推論2から、仮説が導かれる

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