この第一部長は振り込まない
fact1: 「名付けるということはないしおまけに例外無い」物はある fact2: ある物は振り込む fact3: 「名付けるということはないが例外無い」物があるならばあの第一部長は振り込まない
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
$facts$ = fact1: 「名付けるということはないしおまけに例外無い」物はある fact2: ある物は振り込む fact3: 「名付けるということはないが例外無い」物があるならばあの第一部長は振り込まない ; $hypothesis$ = この第一部長は振り込まない ; $proof$ = 
fact1 & fact3 -> hypothesis; __PROVED__
事実1: 「名付けるということはないしおまけに例外無い」物はある
事実2: ある物は振り込む
事実3: 「名付けるということはないが例外無い」物があるならばあの第一部長は振り込まない

仮説: この第一部長は振り込まない
1. 事実1と事実3から、仮説が導かれる

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