「すばしっこいということは起こらない」ということは成り立つ
fact1: 「眩いということおよびすばしっこいということ両方ともが生じる」ということは生み易いということは生じないということを生じさせる fact2: 生み易いということが起こる
$facts$ = fact1: 「眩いということおよびすばしっこいということ両方ともが生じる」ということは生み易いということは生じないということを生じさせる fact2: 生み易いということが起こる ; $hypothesis$ = 「すばしっこいということは起こらない」ということは成り立つ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__