「「もしもＮＣ制約でなくて更に余すとすると加入出来ない」ものはある」ということは誤っている
fact1: 仮にその機数がＮＣ制約だしおまけに余すとすればそれは加入出来ない fact2: 「仮に民間主体でないしその上ごっついとすれば栽培方式でない」ものはある fact3: 「仮にＮＣ制約でないけど余せば加入出来る」ものはある fact4: その機数が余すということはないけどまあるいなら出走出来ない fact5: もしその空白部分は余さないが学校保健であるとすればそれは左下肢でない fact6: もし仮にあの汗は願い求めない一方で加入出来るとするとそれは中堅企業でない fact7: もしも「この軍事目標はＮＣ制約でないがしかし後ろ暗い」ということは偽でないならそれはこっ酷くない fact8: もしもその機数がＮＣ制約でないけど余すとしたらそれは加入出来る fact9: 「ＮＣ制約だし余せば「加入出来るということはない」ということは本当である」ものはある fact10: もしその機数はＮＣ制約でないがしかし余すとするとそれは加入出来ない fact11: 仮にあるものはＮＣ制約でないがしかし取材するとするとそれは後ろ暗くない
fact10 -> hypothesis;
もしその機数がＮＣ制約であるということはないけれどそれは取材するなら「それは後ろ暗くない」ということは本当である
fact12 -> hypothesis;
$facts$ = fact1: 仮にその機数がＮＣ制約だしおまけに余すとすればそれは加入出来ない fact2: 「仮に民間主体でないしその上ごっついとすれば栽培方式でない」ものはある fact3: 「仮にＮＣ制約でないけど余せば加入出来る」ものはある fact4: その機数が余すということはないけどまあるいなら出走出来ない fact5: もしその空白部分は余さないが学校保健であるとすればそれは左下肢でない fact6: もし仮にあの汗は願い求めない一方で加入出来るとするとそれは中堅企業でない fact7: もしも「この軍事目標はＮＣ制約でないがしかし後ろ暗い」ということは偽でないならそれはこっ酷くない fact8: もしもその機数がＮＣ制約でないけど余すとしたらそれは加入出来る fact9: 「ＮＣ制約だし余せば「加入出来るということはない」ということは本当である」ものはある fact10: もしその機数はＮＣ制約でないがしかし余すとするとそれは加入出来ない fact11: 仮にあるものはＮＣ制約でないがしかし取材するとするとそれは後ろ暗くない ; $hypothesis$ = 「「もしもＮＣ制約でなくて更に余すとすると加入出来ない」ものはある」ということは誤っている ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: 仮にその機数がＮＣ制約だしおまけに余すとすればそれは加入出来ない
事実2: 「仮に民間主体でないしその上ごっついとすれば栽培方式でない」ものはある
事実3: 「仮にＮＣ制約でないけど余せば加入出来る」ものはある
事実4: その機数が余すということはないけどまあるいなら出走出来ない
事実5: もしその空白部分は余さないが学校保健であるとすればそれは左下肢でない
事実6: もし仮にあの汗は願い求めない一方で加入出来るとするとそれは中堅企業でない
事実7: もしも「この軍事目標はＮＣ制約でないがしかし後ろ暗い」ということは偽でないならそれはこっ酷くない
事実8: もしもその機数がＮＣ制約でないけど余すとしたらそれは加入出来る
事実9: 「ＮＣ制約だし余せば「加入出来るということはない」ということは本当である」ものはある
事実10: もしその機数はＮＣ制約でないがしかし余すとするとそれは加入出来ない
事実11: 仮にあるものはＮＣ制約でないがしかし取材するとするとそれは後ろ暗くない

仮説: 「「もしもＮＣ制約でなくて更に余すとすると加入出来ない」ものはある」ということは誤っている
1. 事実10から、仮説が否定される

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