「「「新規上場申請者であるかあるいは版木でない」ということは誤りな」ものはある」ということは偽である
fact1: 「「鬱積するかあるいは生産途中だということはないかもしくは両方ともだ」ということは誤っている」ものはある fact2: 新規上場申請者であるかそれは版木でないというものはない fact3: 解明出来るかあるいは日本料理屋でないという物はない fact4: なにがしかのものは足りる fact5: すべては版木だ fact6: 仮にとあるものは生々しいなら「それは皮肉るかもしくは離れ難くないか両方である」ということは成り立たない fact7: 「姦しくない」物はある fact8: 「版木な」ものはある fact9: 「「人心掌握であるか架設するということはないかもしくは両方である」ということは誤りな」物はある
fact2 -> int1: 「あの秩序感は新規上場申請者であるかそれは版木でないかまたは両方ともだ」ということは事実と異なる; int1 -> hypothesis;
fact2 -> int1: ¬({AA}{aa} v ¬{AB}{aa}); int1 -> hypothesis;
皮肉るかもしくは離れ難くないかもしくは両方ともだというものはない
fact10 -> int2: 仮にあの情報ルートは生々しいならば「皮肉るかあるいは離れ難くないかどちらもである」ということは成り立つということはない;
$facts$ = fact1: 「「鬱積するかあるいは生産途中だということはないかもしくは両方ともだ」ということは誤っている」ものはある fact2: 新規上場申請者であるかそれは版木でないというものはない fact3: 解明出来るかあるいは日本料理屋でないという物はない fact4: なにがしかのものは足りる fact5: すべては版木だ fact6: 仮にとあるものは生々しいなら「それは皮肉るかもしくは離れ難くないか両方である」ということは成り立たない fact7: 「姦しくない」物はある fact8: 「版木な」ものはある fact9: 「「人心掌握であるか架設するということはないかもしくは両方である」ということは誤りな」物はある ; $hypothesis$ = 「「「新規上場申請者であるかあるいは版木でない」ということは誤りな」ものはある」ということは偽である ; $proof$ = 
fact2 -> int1: 「あの秩序感は新規上場申請者であるかそれは版木でないかまたは両方ともだ」ということは事実と異なる; int1 -> hypothesis; __DISPROVED__
事実1: 「「鬱積するかあるいは生産途中だということはないかもしくは両方ともだ」ということは誤っている」ものはある
事実2: 新規上場申請者であるかそれは版木でないというものはない
事実3: 解明出来るかあるいは日本料理屋でないという物はない
事実4: なにがしかのものは足りる
事実5: すべては版木だ
事実6: 仮にとあるものは生々しいなら「それは皮肉るかもしくは離れ難くないか両方である」ということは成り立たない
事実7: 「姦しくない」物はある
事実8: 「版木な」ものはある
事実9: 「「人心掌握であるか架設するということはないかもしくは両方である」ということは誤りな」物はある

仮説: 「「「新規上場申請者であるかあるいは版木でない」ということは誤りな」ものはある」ということは偽である
1. 事実2から、推論1: "「あの秩序感は新規上場申請者であるかそれは版木でないかまたは両方ともだ」ということは事実と異なる"が導かれる
2. 推論1から、仮説が否定される

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