その当該契約は鞘走る
fact1: もしも「あの程度以上は宜しけれどそれは得難しない」ということは誤りであるとしたらその当該契約は鞘走る fact2: 「あの程度以上は宜しけれど得難しない」ということは事実と異なる
$facts$ = fact1: もしも「あの程度以上は宜しけれどそれは得難しない」ということは誤りであるとしたらその当該契約は鞘走る fact2: 「あの程度以上は宜しけれど得難しない」ということは事実と異なる ; $hypothesis$ = その当該契約は鞘走る ; $proof$ = 
事実1: もしも「あの程度以上は宜しけれどそれは得難しない」ということは誤りであるとしたらその当該契約は鞘走る
事実2: 「あの程度以上は宜しけれど得難しない」ということは事実と異なる

仮説: その当該契約は鞘走る