その堀は補訂版でない
fact1: もし仮にあの群れ型が遣り逃げするということはないならその堀は補訂版でない fact2: あの群れ型は遣り逃げしない fact3: あの母細胞は遣り逃げしない
$facts$ = fact1: もし仮にあの群れ型が遣り逃げするということはないならその堀は補訂版でない fact2: あの群れ型は遣り逃げしない fact3: あの母細胞は遣り逃げしない ; $hypothesis$ = その堀は補訂版でない ; $proof$ = 
事実1: もし仮にあの群れ型が遣り逃げするということはないならその堀は補訂版でない
事実2: あの群れ型は遣り逃げしない
事実3: あの母細胞は遣り逃げしない

仮説: その堀は補訂版でない