あの即売は賠償しない
fact1: もしあの子女が重層化するとしたらあの即売は賠償するということはない fact2: そのクラウド・ナインは甘受する fact3: あの即売は甘受するし賠償する fact4: あの子女が甘受しないとするとあの即売は賠償しない fact5: あの即売は赤っぽい
fact3 -> hypothesis;
fact3 -> hypothesis;
あの即売は賠償しない
$facts$ = fact1: もしあの子女が重層化するとしたらあの即売は賠償するということはない fact2: そのクラウド・ナインは甘受する fact3: あの即売は甘受するし賠償する fact4: あの子女が甘受しないとするとあの即売は賠償しない fact5: あの即売は赤っぽい ; $hypothesis$ = あの即売は賠償しない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: もしあの子女が重層化するとしたらあの即売は賠償するということはない
事実2: そのクラウド・ナインは甘受する
事実3: あの即売は甘受するし賠償する
事実4: あの子女が甘受しないとするとあの即売は賠償しない
事実5: あの即売は赤っぽい

仮説: あの即売は賠償しない
1. 事実3から、仮説が否定される

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