その二重写しは外部委託する
fact1: 仮にそのとろが日参するけど外部委託しないならばその二重写しは外部委託しない fact2: その二重写しは外部委託する fact3: その大坂城代は外部委託する
fact2 -> hypothesis;
fact2 -> hypothesis;
その二重写しは外部委託しない
$facts$ = fact1: 仮にそのとろが日参するけど外部委託しないならばその二重写しは外部委託しない fact2: その二重写しは外部委託する fact3: その大坂城代は外部委託する ; $hypothesis$ = その二重写しは外部委託する ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 仮にそのとろが日参するけど外部委託しないならばその二重写しは外部委託しない
事実2: その二重写しは外部委託する
事実3: その大坂城代は外部委託する

仮説: その二重写しは外部委託する
1. 事実2から、仮説が導かれる

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