もしそのジアミンオキシダーゼは甲高くないなら「その降雨は熱いししかもそれは成立し続ける」ということは成り立たない
fact1: もし仮にあの被膜剤は熱くないとしたら「そのジアミンオキシダーゼは起こり難くてまた甲高い」ということは成り立たない fact2: 仮に「あの被膜剤は成立し続けない」ということは真実ならその降雨は起こり難いし甲高い fact3: あの被膜剤は成立し続けない fact4: もし仮にそのジアミンオキシダーゼは甲高くないならば「あの被膜剤は起こり難くない」ということは本当である fact5: あの被膜剤は起こり難くないとすれば「その降雨は熱くておまけに成立し続ける」ということは真実でない fact6: そのジアミンオキシダーゼが起こり難くないとするとその降雨は甲高いし成立し続ける fact7: 「もし仮にその降雨は甲高くないならば「そのジアミンオキシダーゼは成立し続けるししかも熱い」ということは誤っている」ということは成り立つ
void -> assump1: 以下のように仮定する。そのジアミンオキシダーゼは甲高くない; fact4 & assump1 -> int1: あの被膜剤は起こり難くない; int1 & fact5 -> int2: 「その降雨は熱いしそれに成立し続ける」ということは間違いである; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もし仮にあの被膜剤は熱くないとしたら「そのジアミンオキシダーゼは起こり難くてまた甲高い」ということは成り立たない fact2: 仮に「あの被膜剤は成立し続けない」ということは真実ならその降雨は起こり難いし甲高い fact3: あの被膜剤は成立し続けない fact4: もし仮にそのジアミンオキシダーゼは甲高くないならば「あの被膜剤は起こり難くない」ということは本当である fact5: あの被膜剤は起こり難くないとすれば「その降雨は熱くておまけに成立し続ける」ということは真実でない fact6: そのジアミンオキシダーゼが起こり難くないとするとその降雨は甲高いし成立し続ける fact7: 「もし仮にその降雨は甲高くないならば「そのジアミンオキシダーゼは成立し続けるししかも熱い」ということは誤っている」ということは成り立つ ; $hypothesis$ = もしそのジアミンオキシダーゼは甲高くないなら「その降雨は熱いししかもそれは成立し続ける」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのジアミンオキシダーゼは甲高くない; fact4 & assump1 -> int1: あの被膜剤は起こり難くない; int1 & fact5 -> int2: 「その降雨は熱いしそれに成立し続ける」ということは間違いである; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮にあの被膜剤は熱くないとしたら「そのジアミンオキシダーゼは起こり難くてまた甲高い」ということは成り立たない
事実2: 仮に「あの被膜剤は成立し続けない」ということは真実ならその降雨は起こり難いし甲高い
事実3: あの被膜剤は成立し続けない
事実4: もし仮にそのジアミンオキシダーゼは甲高くないならば「あの被膜剤は起こり難くない」ということは本当である
事実5: あの被膜剤は起こり難くないとすれば「その降雨は熱くておまけに成立し続ける」ということは真実でない
事実6: そのジアミンオキシダーゼが起こり難くないとするとその降雨は甲高いし成立し続ける
事実7: 「もし仮にその降雨は甲高くないならば「そのジアミンオキシダーゼは成立し続けるししかも熱い」ということは誤っている」ということは成り立つ

仮説: もしそのジアミンオキシダーゼは甲高くないなら「その降雨は熱いししかもそれは成立し続ける」ということは成り立たない
1. 仮定1: 以下のように仮定する。そのジアミンオキシダーゼは甲高くない
2. 事実4と仮定1から、推論1: "あの被膜剤は起こり難くない"が導かれる
3. 推論1と事実5から、推論2: "「その降雨は熱いしそれに成立し続ける」ということは間違いである"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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