この歩幅は長身であるということはない
fact1: 「招き易くなくてしかもネイティブらしい」ものはある fact2: 「招き易くないがしかしネイティブらしい」ものがあるとしたらこの歩幅は長身である
$facts$ = fact1: 「招き易くなくてしかもネイティブらしい」ものはある fact2: 「招き易くないがしかしネイティブらしい」ものがあるとしたらこの歩幅は長身である ; $hypothesis$ = この歩幅は長身であるということはない ; $proof$ = 
事実1: 「招き易くなくてしかもネイティブらしい」ものはある
事実2: 「招き易くないがしかしネイティブらしい」ものがあるとしたらこの歩幅は長身である

仮説: この歩幅は長身であるということはない