あの追跡者は飲み易くない
fact1: もし仮にあの追跡者が止めど無いとすれば飲み易い fact2: あの追跡者は止めど無い
$facts$ = fact1: もし仮にあの追跡者が止めど無いとすれば飲み易い fact2: あの追跡者は止めど無い ; $hypothesis$ = あの追跡者は飲み易くない ; $proof$ = 
事実1: もし仮にあの追跡者が止めど無いとすれば飲み易い
事実2: あの追跡者は止めど無い

仮説: あの追跡者は飲み易くない