その一万七千人は回転しない
fact1: その大枝が放射状であるとするとその一万七千人は回転する fact2: その大枝は放射状だ
$facts$ = fact1: その大枝が放射状であるとするとその一万七千人は回転する fact2: その大枝は放射状だ ; $hypothesis$ = その一万七千人は回転しない ; $proof$ = 
事実1: その大枝が放射状であるとするとその一万七千人は回転する
事実2: その大枝は放射状だ

仮説: その一万七千人は回転しない