「「もし仮にシステムエクスクルーシブでないとすれば「男性関係でないし更に分配する」ということは誤っている」ものはある」ということは嘘だ
fact1: 「もし待ち遠しくないとすると「「腹立つしＯ・Ａ・コーポレーションだ」ということは正しい」ということは偽な」ものはある fact2: 「仮にシステムエクスクルーシブであるとすれば「男性関係でないがしかし分配する」ということは事実と異なる」ものはある fact3: 仮にとある物はシステムエクスクルーシブであるということはないなら「男性関係でないがしかし分配する」ということは偽である
fact3 -> int1: もしも「そのテロ発生はシステムエクスクルーシブでない」ということは正しいとすると「それは男性関係でなくて更にそれは分配する」ということは事実と異なる; int1 -> hypothesis;
$facts$ = fact1: 「もし待ち遠しくないとすると「「腹立つしＯ・Ａ・コーポレーションだ」ということは正しい」ということは偽な」ものはある fact2: 「仮にシステムエクスクルーシブであるとすれば「男性関係でないがしかし分配する」ということは事実と異なる」ものはある fact3: 仮にとある物はシステムエクスクルーシブであるということはないなら「男性関係でないがしかし分配する」ということは偽である ; $hypothesis$ = 「「もし仮にシステムエクスクルーシブでないとすれば「男性関係でないし更に分配する」ということは誤っている」ものはある」ということは嘘だ ; $proof$ = 
fact3 -> int1: もしも「そのテロ発生はシステムエクスクルーシブでない」ということは正しいとすると「それは男性関係でなくて更にそれは分配する」ということは事実と異なる; int1 -> hypothesis; __DISPROVED__
事実1: 「もし待ち遠しくないとすると「「腹立つしＯ・Ａ・コーポレーションだ」ということは正しい」ということは偽な」ものはある
事実2: 「仮にシステムエクスクルーシブであるとすれば「男性関係でないがしかし分配する」ということは事実と異なる」ものはある
事実3: 仮にとある物はシステムエクスクルーシブであるということはないなら「男性関係でないがしかし分配する」ということは偽である

仮説: 「「もし仮にシステムエクスクルーシブでないとすれば「男性関係でないし更に分配する」ということは誤っている」ものはある」ということは嘘だ
1. 事実3から、推論1: "もしも「そのテロ発生はシステムエクスクルーシブでない」ということは正しいとすると「それは男性関係でなくて更にそれは分配する」ということは事実と異なる"が導かれる
2. 推論1から、仮説が否定される

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