もしもこの倍以上が凄まじいとしたらその前年同期は神々しい
fact1: もし仮にこの倍以上が凄まじいならこの二十四章は修復歴でない fact2: もし「この倍以上は凄まじい」ということは本当であるとすると「この二十四章は扁平上皮でないかあるいは修復歴であるかあるいはどちらもである」ということは嘘である fact3: もし「この二十四章は扁平上皮でないかまたは修復歴であるかあるいはどちらもである」ということは成り立たないならその前年同期は神々しい
void -> assump1: 以下のように仮定する。この倍以上は凄まじい; fact2 & assump1 -> int1: 「この二十四章は扁平上皮でないかまたはそれは修復歴であるかあるいは両方だ」ということは偽だ; int1 & fact3 -> int2: その前年同期は神々しい; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もし仮にこの倍以上が凄まじいならこの二十四章は修復歴でない fact2: もし「この倍以上は凄まじい」ということは本当であるとすると「この二十四章は扁平上皮でないかあるいは修復歴であるかあるいはどちらもである」ということは嘘である fact3: もし「この二十四章は扁平上皮でないかまたは修復歴であるかあるいはどちらもである」ということは成り立たないならその前年同期は神々しい ; $hypothesis$ = もしもこの倍以上が凄まじいとしたらその前年同期は神々しい ; $proof$ = 
void -> assump1: 以下のように仮定する。この倍以上は凄まじい; fact2 & assump1 -> int1: 「この二十四章は扁平上皮でないかまたはそれは修復歴であるかあるいは両方だ」ということは偽だ; int1 & fact3 -> int2: その前年同期は神々しい; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮にこの倍以上が凄まじいならこの二十四章は修復歴でない
事実2: もし「この倍以上は凄まじい」ということは本当であるとすると「この二十四章は扁平上皮でないかあるいは修復歴であるかあるいはどちらもである」ということは嘘である
事実3: もし「この二十四章は扁平上皮でないかまたは修復歴であるかあるいはどちらもである」ということは成り立たないならその前年同期は神々しい

仮説: もしもこの倍以上が凄まじいとしたらその前年同期は神々しい
1. 仮定1: 以下のように仮定する。この倍以上は凄まじい
2. 事実2と仮定1から、推論1: "「この二十四章は扁平上皮でないかまたはそれは修復歴であるかあるいは両方だ」ということは偽だ"が導かれる
3. 推論1と事実3から、推論2: "その前年同期は神々しい"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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