このコーディングは猪牙である
fact1: 仮にこのコーディングが考え深いということはないとするとそれは追討軍だし加えてそれは悪し fact2: このコーディングが猪牙だしそれは生み付ける
fact2 -> hypothesis;
fact2 -> hypothesis;
このＴＨＸは猪牙である
$facts$ = fact1: 仮にこのコーディングが考え深いということはないとするとそれは追討軍だし加えてそれは悪し fact2: このコーディングが猪牙だしそれは生み付ける ; $hypothesis$ = このコーディングは猪牙である ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 仮にこのコーディングが考え深いということはないとするとそれは追討軍だし加えてそれは悪し
事実2: このコーディングが猪牙だしそれは生み付ける

仮説: このコーディングは猪牙である
1. 事実2から、仮説が導かれる

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