「その各データベースは買い増ししない」ということは成り立つ
fact1: もし「泥鰌であるかもしくは懐こくないかまたは両方ともな」ものがあるならばあの各データベースは買い増しする fact2: なにがしかの物は泥鰌であるかもしくは懐こくない
$facts$ = fact1: もし「泥鰌であるかもしくは懐こくないかまたは両方ともな」ものがあるならばあの各データベースは買い増しする fact2: なにがしかの物は泥鰌であるかもしくは懐こくない ; $hypothesis$ = 「その各データベースは買い増ししない」ということは成り立つ ; $proof$ = 
事実1: もし「泥鰌であるかもしくは懐こくないかまたは両方ともな」ものがあるならばあの各データベースは買い増しする
事実2: なにがしかの物は泥鰌であるかもしくは懐こくない

仮説: 「その各データベースは買い増ししない」ということは成り立つ