「この肺胞は知己である」ということは真実だ
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から、仮説が導かれる

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