あの二千二年夏はきつ過ぎない
fact1: 仮に「あの二千二年夏は山奥でないがしかし低し」ということは成り立たないとすればそれはきつ過ぎる fact2: 「あの二千二年夏は山奥でないが低し」ということは誤りである
$facts$ = fact1: 仮に「あの二千二年夏は山奥でないがしかし低し」ということは成り立たないとすればそれはきつ過ぎる fact2: 「あの二千二年夏は山奥でないが低し」ということは誤りである ; $hypothesis$ = あの二千二年夏はきつ過ぎない ; $proof$ = 
事実1: 仮に「あの二千二年夏は山奥でないがしかし低し」ということは成り立たないとすればそれはきつ過ぎる
事実2: 「あの二千二年夏は山奥でないが低し」ということは誤りである

仮説: あの二千二年夏はきつ過ぎない