「このダーモスコピーは当村でないかあるいは焦り出さないかあるいは両方ともだ」ということは事実でない
fact1: 仮にこのダーモスコピーが面白いとしたらそれは当村でないかそれは焦り出さない fact2: もしもこのダーモスコピーが当村でないならあのメガバンク・主要行は焦り出すしその上恨めしい fact3: 恨めしくない物は浅しないかまたはカバー力でないかもしくは両方だ fact4: あのメガバンク・主要行は当村であるとすると「面白くないかそれは恨めしくないかもしくは両方だ」ということは成り立つ fact5: 仮になにがしかのものは戯けるなら「当村でないしその上焦り出すということはない」ということは成り立たない fact6: あのメガバンク・主要行は恨めしくない fact7: あのメガバンク・主要行が面白くないとしたらこのダーモスコピーは仕舞い易い fact8: 「あのメガバンク・主要行は当村でなくて焦り出さない」ということは成り立たないならあの搾取者は恨めしくない fact9: もしもあのメガバンク・主要行が恨めしくないならこのダーモスコピーは面白くて仕舞い易い
fact9 & fact6 -> int1: このダーモスコピーは面白いしかつ仕舞い易い; int1 -> int2: このダーモスコピーは面白い; int2 & fact1 -> hypothesis;
あの搾取者は浅しないかカバー力でないかもしくは両方ともである
fact12 -> int3: もしもあの搾取者が恨めしくないならそれは浅しないかもしくはカバー力でないかもしくは両方ともだ; fact10 -> int4: もし「あのメガバンク・主要行は戯ける」ということは正しいなら「それは当村でないしかつそれは焦り出すということはない」ということは間違っている;
$facts$ = fact1: 仮にこのダーモスコピーが面白いとしたらそれは当村でないかそれは焦り出さない fact2: もしもこのダーモスコピーが当村でないならあのメガバンク・主要行は焦り出すしその上恨めしい fact3: 恨めしくない物は浅しないかまたはカバー力でないかもしくは両方だ fact4: あのメガバンク・主要行は当村であるとすると「面白くないかそれは恨めしくないかもしくは両方だ」ということは成り立つ fact5: 仮になにがしかのものは戯けるなら「当村でないしその上焦り出すということはない」ということは成り立たない fact6: あのメガバンク・主要行は恨めしくない fact7: あのメガバンク・主要行が面白くないとしたらこのダーモスコピーは仕舞い易い fact8: 「あのメガバンク・主要行は当村でなくて焦り出さない」ということは成り立たないならあの搾取者は恨めしくない fact9: もしもあのメガバンク・主要行が恨めしくないならこのダーモスコピーは面白くて仕舞い易い ; $hypothesis$ = 「このダーモスコピーは当村でないかあるいは焦り出さないかあるいは両方ともだ」ということは事実でない ; $proof$ = 
fact9 & fact6 -> int1: このダーモスコピーは面白いしかつ仕舞い易い; int1 -> int2: このダーモスコピーは面白い; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にこのダーモスコピーが面白いとしたらそれは当村でないかそれは焦り出さない
事実2: もしもこのダーモスコピーが当村でないならあのメガバンク・主要行は焦り出すしその上恨めしい
事実3: 恨めしくない物は浅しないかまたはカバー力でないかもしくは両方だ
事実4: あのメガバンク・主要行は当村であるとすると「面白くないかそれは恨めしくないかもしくは両方だ」ということは成り立つ
事実5: 仮になにがしかのものは戯けるなら「当村でないしその上焦り出すということはない」ということは成り立たない
事実6: あのメガバンク・主要行は恨めしくない
事実7: あのメガバンク・主要行が面白くないとしたらこのダーモスコピーは仕舞い易い
事実8: 「あのメガバンク・主要行は当村でなくて焦り出さない」ということは成り立たないならあの搾取者は恨めしくない
事実9: もしもあのメガバンク・主要行が恨めしくないならこのダーモスコピーは面白くて仕舞い易い

仮説: 「このダーモスコピーは当村でないかあるいは焦り出さないかあるいは両方ともだ」ということは事実でない
1. 事実9と事実6から、推論1: "このダーモスコピーは面白いしかつ仕舞い易い"が導かれる
2. 推論1から、推論2: "このダーモスコピーは面白い"が導かれる
3. 推論2と事実1から、仮説が否定される

よって、仮説が否定されました。