ある物は商人らしいし更にそれは毳立つ
fact1: その南南東は謂れだしさらに毳立つ fact2: その南南東は商人らしい
fact1 -> int1: その南南東は毳立つ; int1 & fact2 -> int2: その南南東は商人らしいし毳立つ; int2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ({C}{a} & {B}{a}); int2 -> hypothesis;
$facts$ = fact1: その南南東は謂れだしさらに毳立つ fact2: その南南東は商人らしい ; $hypothesis$ = ある物は商人らしいし更にそれは毳立つ ; $proof$ = 
fact1 -> int1: その南南東は毳立つ; int1 & fact2 -> int2: その南南東は商人らしいし毳立つ; int2 -> hypothesis; __PROVED__
事実1: その南南東は謂れだしさらに毳立つ
事実2: その南南東は商人らしい

仮説: ある物は商人らしいし更にそれは毳立つ
1. 事実1から、推論1: "その南南東は毳立つ"が導かれる
2. 推論1と事実2から、推論2: "その南南東は商人らしいし毳立つ"が導かれる
3. 推論2から、仮説が導かれる

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