もしもその言語上は診断根拠でないなら「その中心市街地活性化法は臨海だしおまけに按ずる」ということは真実だ
fact1: 「その言語上は眠くないしおまけに遣り続けない」ということは誤りだとしたらこのバブル期は臨海でない fact2: とあるものは診断根拠でないならば「それは眠くないし加えてそれは遣り続けるということはない」ということは嘘である fact3: もしその中心市街地活性化法が診断根拠でないならばあの言語上は臨海だ fact4: もし仮にその言語上が遣り続けるとすればこのバブル期は臨海でない fact5: もし仮にこのバブル期が臨海であるということはないとすればあの中心市街地活性化法は臨海であるしさらに按ずる fact6: もし仮にこのバブル期が診断根拠でないとすればあの言語上は診断根拠であるしその上臨海である fact7: もしその言語上が臨海だとしたらこのバブル期は眠くない
fact2 -> int1: 仮にその言語上は診断根拠でないなら「それは眠くなくて更に遣り続けるということはない」ということは誤っている; void -> assump1: 以下のように仮定する。その言語上は診断根拠でない; int1 & assump1 -> int2: 「「その言語上は眠くないしさらに遣り続けない」ということは成り立つ」ということは偽だ; int2 & fact1 -> int3: このバブル期は臨海でない; int3 & fact5 -> int4: その中心市街地活性化法は臨海で按ずる; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「その言語上は眠くないしおまけに遣り続けない」ということは誤りだとしたらこのバブル期は臨海でない fact2: とあるものは診断根拠でないならば「それは眠くないし加えてそれは遣り続けるということはない」ということは嘘である fact3: もしその中心市街地活性化法が診断根拠でないならばあの言語上は臨海だ fact4: もし仮にその言語上が遣り続けるとすればこのバブル期は臨海でない fact5: もし仮にこのバブル期が臨海であるということはないとすればあの中心市街地活性化法は臨海であるしさらに按ずる fact6: もし仮にこのバブル期が診断根拠でないとすればあの言語上は診断根拠であるしその上臨海である fact7: もしその言語上が臨海だとしたらこのバブル期は眠くない ; $hypothesis$ = もしもその言語上は診断根拠でないなら「その中心市街地活性化法は臨海だしおまけに按ずる」ということは真実だ ; $proof$ = 
fact2 -> int1: 仮にその言語上は診断根拠でないなら「それは眠くなくて更に遣り続けるということはない」ということは誤っている; void -> assump1: 以下のように仮定する。その言語上は診断根拠でない; int1 & assump1 -> int2: 「「その言語上は眠くないしさらに遣り続けない」ということは成り立つ」ということは偽だ; int2 & fact1 -> int3: このバブル期は臨海でない; int3 & fact5 -> int4: その中心市街地活性化法は臨海で按ずる; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「その言語上は眠くないしおまけに遣り続けない」ということは誤りだとしたらこのバブル期は臨海でない
事実2: とあるものは診断根拠でないならば「それは眠くないし加えてそれは遣り続けるということはない」ということは嘘である
事実3: もしその中心市街地活性化法が診断根拠でないならばあの言語上は臨海だ
事実4: もし仮にその言語上が遣り続けるとすればこのバブル期は臨海でない
事実5: もし仮にこのバブル期が臨海であるということはないとすればあの中心市街地活性化法は臨海であるしさらに按ずる
事実6: もし仮にこのバブル期が診断根拠でないとすればあの言語上は診断根拠であるしその上臨海である
事実7: もしその言語上が臨海だとしたらこのバブル期は眠くない

仮説: もしもその言語上は診断根拠でないなら「その中心市街地活性化法は臨海だしおまけに按ずる」ということは真実だ
1. 事実2から、推論1: "仮にその言語上は診断根拠でないなら「それは眠くなくて更に遣り続けるということはない」ということは誤っている"が導かれる
2. 仮定1: 以下のように仮定する。その言語上は診断根拠でない
3. 推論1と仮定1から、推論2: "「「その言語上は眠くないしさらに遣り続けない」ということは成り立つ」ということは偽だ"が導かれる
4. 推論2と事実1から、推論3: "このバブル期は臨海でない"が導かれる
5. 推論3と事実5から、推論4: "その中心市街地活性化法は臨海で按ずる"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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