あの一つ穴は名高いということはない
fact1: 「あの一つ穴は染み込み易くないけれど予測し易い」ということは誤りだ fact2: 仮に「あの一つ穴は染み込み易くないけど予測し易い」ということは偽であるとするとそれは名高い
$facts$ = fact1: 「あの一つ穴は染み込み易くないけれど予測し易い」ということは誤りだ fact2: 仮に「あの一つ穴は染み込み易くないけど予測し易い」ということは偽であるとするとそれは名高い ; $hypothesis$ = あの一つ穴は名高いということはない ; $proof$ = 
事実1: 「あの一つ穴は染み込み易くないけれど予測し易い」ということは誤りだ
事実2: 仮に「あの一つ穴は染み込み易くないけど予測し易い」ということは偽であるとするとそれは名高い

仮説: あの一つ穴は名高いということはない