この桓魋達は習い覚えない
fact1: この鶏冠は習い覚える fact2: この桓魋達は習い覚える
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: この鶏冠は習い覚える fact2: この桓魋達は習い覚える ; $hypothesis$ = この桓魋達は習い覚えない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: この鶏冠は習い覚える
事実2: この桓魋達は習い覚える

仮説: この桓魋達は習い覚えない
1. 事実2から、仮説が否定される

よって、仮説が否定されました。