「この適正性はさもしくない」ということは成り立つ
fact1: なにがしかのものは平たくない一方で締めっぽい fact2: 「平たくなくて締めっぽい」ものがあるとしたらこの適正性はさもしい
$facts$ = fact1: なにがしかのものは平たくない一方で締めっぽい fact2: 「平たくなくて締めっぽい」ものがあるとしたらこの適正性はさもしい ; $hypothesis$ = 「この適正性はさもしくない」ということは成り立つ ; $proof$ = 
事実1: なにがしかのものは平たくない一方で締めっぽい
事実2: 「平たくなくて締めっぽい」ものがあるとしたらこの適正性はさもしい

仮説: 「この適正性はさもしくない」ということは成り立つ