「このロブ・ベーコンはＲＣＣでまたマザーズ市場である」ということは嘘だ
fact1: もしもこのロブ・ベーコンがＲＣＣでないならばこの外部監査はＲＣＣでない fact2: このロブ・ベーコンは逃げ切らないとすると「ＲＣＣで更にマザーズ市場である」ということは誤りである fact3: このロブ・ベーコンは逃げ切らない fact4: あるものが尿道下切れでないとするとＲＣＣであるしそれは逃げ切るということはない
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
このロブ・ベーコンがＲＣＣだしさらにそれはマザーズ市場である
fact5 -> int1: もしもこのロブ・ベーコンは尿道下切れでないならそれはＲＣＣだけど逃げ切らない;
$facts$ = fact1: もしもこのロブ・ベーコンがＲＣＣでないならばこの外部監査はＲＣＣでない fact2: このロブ・ベーコンは逃げ切らないとすると「ＲＣＣで更にマザーズ市場である」ということは誤りである fact3: このロブ・ベーコンは逃げ切らない fact4: あるものが尿道下切れでないとするとＲＣＣであるしそれは逃げ切るということはない ; $hypothesis$ = 「このロブ・ベーコンはＲＣＣでまたマザーズ市場である」ということは嘘だ ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: もしもこのロブ・ベーコンがＲＣＣでないならばこの外部監査はＲＣＣでない
事実2: このロブ・ベーコンは逃げ切らないとすると「ＲＣＣで更にマザーズ市場である」ということは誤りである
事実3: このロブ・ベーコンは逃げ切らない
事実4: あるものが尿道下切れでないとするとＲＣＣであるしそれは逃げ切るということはない

仮説: 「このロブ・ベーコンはＲＣＣでまたマザーズ市場である」ということは嘘だ
1. 事実2と事実3から、仮説が導かれる

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