あの赤目は生き切る
fact1: あの赤目は睥睨するしさらにそれは生き切る fact2: この牙は睥睨する fact3: 何らかの物が睥睨するということはないならば生き切らない fact4: あの赤目はうとうとする
fact1 -> hypothesis;
あの赤目は生き切らない
fact5 -> int1: もしもあの赤目が睥睨しないとすると生き切らない;
$facts$ = fact1: あの赤目は睥睨するしさらにそれは生き切る fact2: この牙は睥睨する fact3: 何らかの物が睥睨するということはないならば生き切らない fact4: あの赤目はうとうとする ; $hypothesis$ = あの赤目は生き切る ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あの赤目は睥睨するしさらにそれは生き切る
事実2: この牙は睥睨する
事実3: 何らかの物が睥睨するということはないならば生き切らない
事実4: あの赤目はうとうとする

仮説: あの赤目は生き切る
1. 事実1から、仮説が導かれる

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