「この第二圏域はバスク人でないし蓄積され易くない」ということは間違いだ
fact1: あの健康保険法が二元性でないとしたらこの第二圏域はバスク人であるということはない fact2: 仮にあの健康保険法が二元性でないならこの第二圏域はバスク人でなくてそれは蓄積され易くない fact3: 「三十種類が痛ーいとするとそれは二元性でない」ということは偽でない fact4: 三十種類は二元性である fact5: あの健康保険法は二元性でない fact6: なにがしかのものは二元性であるなら「それはバスク人でなくて蓄積され易いということはない」ということは偽だ fact7: この第二圏域はバスク人でない
fact2 & fact5 -> hypothesis;
「この第二圏域はバスク人でないし蓄積され易くない」ということは間違いだ
fact9 -> int1: もしこの第二圏域は二元性ならば「バスク人でないし加えて蓄積され易いということはない」ということは嘘である; fact8 -> int2: 仮にこの第二圏域は三十種類であるとするとそれは二元性だ;
$facts$ = fact1: あの健康保険法が二元性でないとしたらこの第二圏域はバスク人であるということはない fact2: 仮にあの健康保険法が二元性でないならこの第二圏域はバスク人でなくてそれは蓄積され易くない fact3: 「三十種類が痛ーいとするとそれは二元性でない」ということは偽でない fact4: 三十種類は二元性である fact5: あの健康保険法は二元性でない fact6: なにがしかのものは二元性であるなら「それはバスク人でなくて蓄積され易いということはない」ということは偽だ fact7: この第二圏域はバスク人でない ; $hypothesis$ = 「この第二圏域はバスク人でないし蓄積され易くない」ということは間違いだ ; $proof$ = 
fact2 & fact5 -> hypothesis; __DISPROVED__
事実1: あの健康保険法が二元性でないとしたらこの第二圏域はバスク人であるということはない
事実2: 仮にあの健康保険法が二元性でないならこの第二圏域はバスク人でなくてそれは蓄積され易くない
事実3: 「三十種類が痛ーいとするとそれは二元性でない」ということは偽でない
事実4: 三十種類は二元性である
事実5: あの健康保険法は二元性でない
事実6: なにがしかのものは二元性であるなら「それはバスク人でなくて蓄積され易いということはない」ということは偽だ
事実7: この第二圏域はバスク人でない

仮説: 「この第二圏域はバスク人でないし蓄積され易くない」ということは間違いだ
1. 事実2と事実5から、仮説が否定される

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