「あの数十年前は止み難くない」ということは誤っているということはない
fact1: 「あの数十年前は北海道開拓でないがしかし読み熟す」ということは偽だ fact2: 「あの数十年前は北海道開拓でないけれどそれは読み熟す」ということは成り立たないなら止み難い
$facts$ = fact1: 「あの数十年前は北海道開拓でないがしかし読み熟す」ということは偽だ fact2: 「あの数十年前は北海道開拓でないけれどそれは読み熟す」ということは成り立たないなら止み難い ; $hypothesis$ = 「あの数十年前は止み難くない」ということは誤っているということはない ; $proof$ = 
事実1: 「あの数十年前は北海道開拓でないがしかし読み熟す」ということは偽だ
事実2: 「あの数十年前は北海道開拓でないけれどそれは読み熟す」ということは成り立たないなら止み難い

仮説: 「あの数十年前は止み難くない」ということは誤っているということはない