「生白いということはないとするとすこい」物はある
fact1: もしその気室は生白いとすれば「それはすこい」ということは真実だ fact2: もしも何らかの物が切り掛からないとするとそれは拙論だ fact3: もしその気室が生白くないとすればそれはすこい fact4: 「もしも「生白い」ということは確かであるならばすこい」物はある
fact3 -> hypothesis;
もしその気室が切り掛かるということはないとしたら拙論である
fact5 -> hypothesis;
$facts$ = fact1: もしその気室は生白いとすれば「それはすこい」ということは真実だ fact2: もしも何らかの物が切り掛からないとするとそれは拙論だ fact3: もしその気室が生白くないとすればそれはすこい fact4: 「もしも「生白い」ということは確かであるならばすこい」物はある ; $hypothesis$ = 「生白いということはないとするとすこい」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしその気室は生白いとすれば「それはすこい」ということは真実だ
事実2: もしも何らかの物が切り掛からないとするとそれは拙論だ
事実3: もしその気室が生白くないとすればそれはすこい
事実4: 「もしも「生白い」ということは確かであるならばすこい」物はある

仮説: 「生白いということはないとするとすこい」物はある
1. 事実3から、仮説が導かれる

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