「その債権譲渡特例法は九字である」ということは成り立つ
fact1: もし「何かはマークだけど厳命するということはない」ということは成り立たないならマークでない fact2: 「なんらかのものは歌い終えない」ということは成り立つなら九字だしその上それはテレビ受像器だ fact3: 汚らしくない物は経済行為であるししかも塹壕戦だ fact4: 「あのグッドウイルは当たり易くないがそれは除却である」ということは誤っている fact5: 仮に「やばくない」ものがあるとすればあの債権譲渡特例法は奪えない fact6: なんらかの物が当たり易くないとしたらあのグッドウイルは九字でない fact7: 「あのグッドウイルは九字でない」ということは成り立つ fact8: もし「この何日前は承知出来ないかあるいはそれは煙たいということはない」ということは成り立つとすればそれは汚らしいということはない fact9: もしなんらかのものは経済行為であるとすれば「それはマークである一方で厳命するということはない」ということは事実と異なる fact10: もし仮に「この何日前はマークでない」ということは真実だとするとその債権譲渡特例法は歌い終えるということはない fact11: その債権譲渡特例法は当たり易くない fact12: もしも「「当たり易くない一方で除却だ」ということは誤りな」物があるとするとその債権譲渡特例法は九字であるということはない
fact4 -> int1: 「「当たり易くなくて除却である」ということは確かだということはない」物はある; int1 & fact12 -> hypothesis;
fact4 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact12 -> hypothesis;
「その債権譲渡特例法は九字だ」ということは真実だ
fact17 -> int2: その債権譲渡特例法が歌い終えないなら九字でテレビ受像器だ; fact18 -> int3: 仮に「この何日前がマークだけど厳命するということはない」ということは確かでないならマークでない; fact15 -> int4: もし仮に「この何日前は経済行為だ」ということは本当であるとすれば「マークであるししかも厳命するということはない」ということは誤っている; fact14 -> int5: 仮にこの何日前が汚らしいということはないとしたらそれは経済行為だし更に塹壕戦だ;
$facts$ = fact1: もし「何かはマークだけど厳命するということはない」ということは成り立たないならマークでない fact2: 「なんらかのものは歌い終えない」ということは成り立つなら九字だしその上それはテレビ受像器だ fact3: 汚らしくない物は経済行為であるししかも塹壕戦だ fact4: 「あのグッドウイルは当たり易くないがそれは除却である」ということは誤っている fact5: 仮に「やばくない」ものがあるとすればあの債権譲渡特例法は奪えない fact6: なんらかの物が当たり易くないとしたらあのグッドウイルは九字でない fact7: 「あのグッドウイルは九字でない」ということは成り立つ fact8: もし「この何日前は承知出来ないかあるいはそれは煙たいということはない」ということは成り立つとすればそれは汚らしいということはない fact9: もしなんらかのものは経済行為であるとすれば「それはマークである一方で厳命するということはない」ということは事実と異なる fact10: もし仮に「この何日前はマークでない」ということは真実だとするとその債権譲渡特例法は歌い終えるということはない fact11: その債権譲渡特例法は当たり易くない fact12: もしも「「当たり易くない一方で除却だ」ということは誤りな」物があるとするとその債権譲渡特例法は九字であるということはない ; $hypothesis$ = 「その債権譲渡特例法は九字である」ということは成り立つ ; $proof$ = 
fact4 -> int1: 「「当たり易くなくて除却である」ということは確かだということはない」物はある; int1 & fact12 -> hypothesis; __DISPROVED__
事実1: もし「何かはマークだけど厳命するということはない」ということは成り立たないならマークでない
事実2: 「なんらかのものは歌い終えない」ということは成り立つなら九字だしその上それはテレビ受像器だ
事実3: 汚らしくない物は経済行為であるししかも塹壕戦だ
事実4: 「あのグッドウイルは当たり易くないがそれは除却である」ということは誤っている
事実5: 仮に「やばくない」ものがあるとすればあの債権譲渡特例法は奪えない
事実6: なんらかの物が当たり易くないとしたらあのグッドウイルは九字でない
事実7: 「あのグッドウイルは九字でない」ということは成り立つ
事実8: もし「この何日前は承知出来ないかあるいはそれは煙たいということはない」ということは成り立つとすればそれは汚らしいということはない
事実9: もしなんらかのものは経済行為であるとすれば「それはマークである一方で厳命するということはない」ということは事実と異なる
事実10: もし仮に「この何日前はマークでない」ということは真実だとするとその債権譲渡特例法は歌い終えるということはない
事実11: その債権譲渡特例法は当たり易くない
事実12: もしも「「当たり易くない一方で除却だ」ということは誤りな」物があるとするとその債権譲渡特例法は九字であるということはない

仮説: 「その債権譲渡特例法は九字である」ということは成り立つ
1. 事実4から、推論1: "「「当たり易くなくて除却である」ということは確かだということはない」物はある"が導かれる
2. 推論1と事実12から、仮説が否定される

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