この豊臣方は消毒する
fact1: 弱し物は消毒するということはないがしかし明きだ fact2: もし仮にその機密が明きであるとすればあの豊臣方は消毒する fact3: その機密は明きである
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
この豊臣方は消毒しない
fact4 -> int1: 仮にその機密が弱しならそれは消毒するということはないし更に明きだ;
$facts$ = fact1: 弱し物は消毒するということはないがしかし明きだ fact2: もし仮にその機密が明きであるとすればあの豊臣方は消毒する fact3: その機密は明きである ; $hypothesis$ = この豊臣方は消毒する ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: 弱し物は消毒するということはないがしかし明きだ
事実2: もし仮にその機密が明きであるとすればあの豊臣方は消毒する
事実3: その機密は明きである

仮説: この豊臣方は消毒する
1. 事実2と事実3から、仮説が導かれる

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