この大水は平均速度でない
fact1: あるものは実現出来ない fact2: なんらかの物が実現出来るということはないとすればこの大水は平均速度である
$facts$ = fact1: あるものは実現出来ない fact2: なんらかの物が実現出来るということはないとすればこの大水は平均速度である ; $hypothesis$ = この大水は平均速度でない ; $proof$ = 
事実1: あるものは実現出来ない
事実2: なんらかの物が実現出来るということはないとすればこの大水は平均速度である

仮説: この大水は平均速度でない