あの精神病床は綻びるしかつＨ形鋼である
fact1: 「その長期債券は発熱しない」ということは成り立つ fact2: その長期債券が発熱しないとすればあの精神病床は綻びるし更にそれはＨ形鋼である fact3: 「あの烈火は発熱しない」ということは成り立つ
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
$facts$ = fact1: 「その長期債券は発熱しない」ということは成り立つ fact2: その長期債券が発熱しないとすればあの精神病床は綻びるし更にそれはＨ形鋼である fact3: 「あの烈火は発熱しない」ということは成り立つ ; $hypothesis$ = あの精神病床は綻びるしかつＨ形鋼である ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: 「その長期債券は発熱しない」ということは成り立つ
事実2: その長期債券が発熱しないとすればあの精神病床は綻びるし更にそれはＨ形鋼である
事実3: 「あの烈火は発熱しない」ということは成り立つ

仮説: あの精神病床は綻びるしかつＨ形鋼である
1. 事実2と事実1から、仮説が導かれる

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