その鞘引きは上げ出すということはない
fact1: もし仮に「あの二次形式は見付ける」ということは事実であるとしたらその鞘引きは上げ出す fact2: あの二次形式は見付ける fact3: そのインタークーラーは見付ける
$facts$ = fact1: もし仮に「あの二次形式は見付ける」ということは事実であるとしたらその鞘引きは上げ出す fact2: あの二次形式は見付ける fact3: そのインタークーラーは見付ける ; $hypothesis$ = その鞘引きは上げ出すということはない ; $proof$ = 
事実1: もし仮に「あの二次形式は見付ける」ということは事実であるとしたらその鞘引きは上げ出す
事実2: あの二次形式は見付ける
事実3: そのインタークーラーは見付ける

仮説: その鞘引きは上げ出すということはない