「「「なぞらなくてその上マイナス情報でない」ということは間違っている」物はある」ということは嘘だ
fact1: 仮に「あのニューヨーク市場は目合うということはない」ということは成り立てばそれは止む無くない fact2: 「「なぞらないがしかしマイナス情報だ」ということは偽な」物はある fact3: もし仮に「あのニューヨーク市場は付け易くないが目合う」ということは成り立つということはないならば「それは止む無いということはない」ということは誤りでない fact4: 「あのニューヨーク市場は付け易いということはないけれど目合う」ということは成り立たない fact5: もし仮にあのニューヨーク市場は止む無くないならば「この葉序はなぞらなくて更にマイナス情報でない」ということは成り立たない fact6: 「この葉序はなぞるがマイナス情報でない」ということは成り立たない
fact3 & fact4 -> int1: あのニューヨーク市場は止む無いということはない; int1 & fact5 -> int2: 「この葉序はなぞらないししかもマイナス情報でない」ということは成り立たない; int2 -> hypothesis;
$facts$ = fact1: 仮に「あのニューヨーク市場は目合うということはない」ということは成り立てばそれは止む無くない fact2: 「「なぞらないがしかしマイナス情報だ」ということは偽な」物はある fact3: もし仮に「あのニューヨーク市場は付け易くないが目合う」ということは成り立つということはないならば「それは止む無いということはない」ということは誤りでない fact4: 「あのニューヨーク市場は付け易いということはないけれど目合う」ということは成り立たない fact5: もし仮にあのニューヨーク市場は止む無くないならば「この葉序はなぞらなくて更にマイナス情報でない」ということは成り立たない fact6: 「この葉序はなぞるがマイナス情報でない」ということは成り立たない ; $hypothesis$ = 「「「なぞらなくてその上マイナス情報でない」ということは間違っている」物はある」ということは嘘だ ; $proof$ = 
fact3 & fact4 -> int1: あのニューヨーク市場は止む無いということはない; int1 & fact5 -> int2: 「この葉序はなぞらないししかもマイナス情報でない」ということは成り立たない; int2 -> hypothesis; __DISPROVED__
事実1: 仮に「あのニューヨーク市場は目合うということはない」ということは成り立てばそれは止む無くない
事実2: 「「なぞらないがしかしマイナス情報だ」ということは偽な」物はある
事実3: もし仮に「あのニューヨーク市場は付け易くないが目合う」ということは成り立つということはないならば「それは止む無いということはない」ということは誤りでない
事実4: 「あのニューヨーク市場は付け易いということはないけれど目合う」ということは成り立たない
事実5: もし仮にあのニューヨーク市場は止む無くないならば「この葉序はなぞらなくて更にマイナス情報でない」ということは成り立たない
事実6: 「この葉序はなぞるがマイナス情報でない」ということは成り立たない

仮説: 「「「なぞらなくてその上マイナス情報でない」ということは間違っている」物はある」ということは嘘だ
1. 事実3と事実4から、推論1: "あのニューヨーク市場は止む無いということはない"が導かれる
2. 推論1と事実5から、推論2: "「この葉序はなぞらないししかもマイナス情報でない」ということは成り立たない"が導かれる
3. 推論2から、仮説が否定される

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