あの玄黒は定形である
fact1: あの玄黒は厳くないしかつ汲み出すということはない fact2: もし仮にあの玄黒は厳くないしその上汲み出さないなら「「定形でない」ということは成り立たない」ということは真実である
$facts$ = fact1: あの玄黒は厳くないしかつ汲み出すということはない fact2: もし仮にあの玄黒は厳くないしその上汲み出さないなら「「定形でない」ということは成り立たない」ということは真実である ; $hypothesis$ = あの玄黒は定形である ; $proof$ = 
事実1: あの玄黒は厳くないしかつ汲み出すということはない
事実2: もし仮にあの玄黒は厳くないしその上汲み出さないなら「「定形でない」ということは成り立たない」ということは真実である

仮説: あの玄黒は定形である