「あの一断面は久しない」ということは成り立つ
fact1: あの一断面は久しし更に排除す
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: あの一断面は久しし更に排除す ; $hypothesis$ = 「あの一断面は久しない」ということは成り立つ ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: あの一断面は久しし更に排除す

仮説: 「あの一断面は久しない」ということは成り立つ
1. 事実1から、仮説が否定される

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