その一婦は取っ捕まる
fact1: その小豪族は取っ捕まる fact2: その一婦は取っ捕まる fact3: この個体レベルは取っ捕まる fact4: もしもその手管が取っ捕まるならその一婦は取っ捕まらない
fact2 -> hypothesis;
fact2 -> hypothesis;
その一婦は取っ捕まるということはない
$facts$ = fact1: その小豪族は取っ捕まる fact2: その一婦は取っ捕まる fact3: この個体レベルは取っ捕まる fact4: もしもその手管が取っ捕まるならその一婦は取っ捕まらない ; $hypothesis$ = その一婦は取っ捕まる ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: その小豪族は取っ捕まる
事実2: その一婦は取っ捕まる
事実3: この個体レベルは取っ捕まる
事実4: もしもその手管が取っ捕まるならその一婦は取っ捕まらない

仮説: その一婦は取っ捕まる
1. 事実2から、仮説が導かれる

よって、仮説が証明されました。