その同レベルは動かし続けない
fact1: その同レベルは憎々しい fact2: もしその同レベルが憎々しいなら動かし続ける
$facts$ = fact1: その同レベルは憎々しい fact2: もしその同レベルが憎々しいなら動かし続ける ; $hypothesis$ = その同レベルは動かし続けない ; $proof$ = 
事実1: その同レベルは憎々しい
事実2: もしその同レベルが憎々しいなら動かし続ける

仮説: その同レベルは動かし続けない