「この波長帯は集積するか差し押さえであるかどちらもである」ということは誤りだ
fact1: もしもとあるものが吐くとしたら差し押さえでない fact2: その広告社は見え易い fact3: 寝苦しい物は吐かない fact4: 「仮にその広告社が吐かないならばあの波長帯は見え易くなくてそれに創造出来ない」ということは成り立つ fact5: その広告社が創造出来るが見え易くないとすればこの深さ優先探索は集積する fact6: ある物は見え易いということはないならば「「集積するかまたは差し押さえである」ということは成り立つ」ということは偽である fact7: もしもその広告社が起き易くないならばそれは吐くしかつ寝苦しい fact8: ある物は創造出来るということはないならば「見え易くない」ということは本当である fact9: もし何らかの物が創造出来るとすればそれは集積する fact10: もしこの波長帯が吐くしその上寝苦しいならそれは創造出来ない fact11: この波長帯はチリパウダーであるかまたは相対化するかもしくは両方ともだ fact12: もし仮にその広告社が見え易いとしたらこの波長帯は創造出来る fact13: この寡占状態は差し押さえである
fact12 & fact2 -> int1: この波長帯は創造出来る; fact9 -> int2: もし仮にこの波長帯が創造出来るとしたら集積する; int1 & int2 -> int3: この波長帯は集積する; int3 -> hypothesis;
fact12 & fact2 -> int1: {B}{b}; fact9 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> int3: {C}{b}; int3 -> hypothesis;
「この波長帯は集積するかもしくは差し押さえだ」ということは成り立たない
fact16 -> int4: もしも「この波長帯は見え易くない」ということは成り立てば「それは集積するかまたは差し押さえだ」ということは嘘である; fact14 -> int5: もし仮にこの波長帯が創造出来ないとすればそれは見え易くない;
$facts$ = fact1: もしもとあるものが吐くとしたら差し押さえでない fact2: その広告社は見え易い fact3: 寝苦しい物は吐かない fact4: 「仮にその広告社が吐かないならばあの波長帯は見え易くなくてそれに創造出来ない」ということは成り立つ fact5: その広告社が創造出来るが見え易くないとすればこの深さ優先探索は集積する fact6: ある物は見え易いということはないならば「「集積するかまたは差し押さえである」ということは成り立つ」ということは偽である fact7: もしもその広告社が起き易くないならばそれは吐くしかつ寝苦しい fact8: ある物は創造出来るということはないならば「見え易くない」ということは本当である fact9: もし何らかの物が創造出来るとすればそれは集積する fact10: もしこの波長帯が吐くしその上寝苦しいならそれは創造出来ない fact11: この波長帯はチリパウダーであるかまたは相対化するかもしくは両方ともだ fact12: もし仮にその広告社が見え易いとしたらこの波長帯は創造出来る fact13: この寡占状態は差し押さえである ; $hypothesis$ = 「この波長帯は集積するか差し押さえであるかどちらもである」ということは誤りだ ; $proof$ = 
fact12 & fact2 -> int1: この波長帯は創造出来る; fact9 -> int2: もし仮にこの波長帯が創造出来るとしたら集積する; int1 & int2 -> int3: この波長帯は集積する; int3 -> hypothesis; __DISPROVED__
事実1: もしもとあるものが吐くとしたら差し押さえでない
事実2: その広告社は見え易い
事実3: 寝苦しい物は吐かない
事実4: 「仮にその広告社が吐かないならばあの波長帯は見え易くなくてそれに創造出来ない」ということは成り立つ
事実5: その広告社が創造出来るが見え易くないとすればこの深さ優先探索は集積する
事実6: ある物は見え易いということはないならば「「集積するかまたは差し押さえである」ということは成り立つ」ということは偽である
事実7: もしもその広告社が起き易くないならばそれは吐くしかつ寝苦しい
事実8: ある物は創造出来るということはないならば「見え易くない」ということは本当である
事実9: もし何らかの物が創造出来るとすればそれは集積する
事実10: もしこの波長帯が吐くしその上寝苦しいならそれは創造出来ない
事実11: この波長帯はチリパウダーであるかまたは相対化するかもしくは両方ともだ
事実12: もし仮にその広告社が見え易いとしたらこの波長帯は創造出来る
事実13: この寡占状態は差し押さえである

仮説: 「この波長帯は集積するか差し押さえであるかどちらもである」ということは誤りだ
1. 事実12と事実2から、推論1: "この波長帯は創造出来る"が導かれる
2. 事実9から、推論2: "もし仮にこの波長帯が創造出来るとしたら集積する"が導かれる
3. 推論1と推論2から、推論3: "この波長帯は集積する"が導かれる
4. 推論3から、仮説が否定される

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