もしもそのベルディ川崎が騒ぎ始めるならばあの俗世は及ばないしそれは無声化し易いということはない
fact1: この俗世は及ばないがしかし無声化し易い fact2: もし仮に「この俗世は及ばないし更にそれは無声化し易くない」ということは誤っているならそのベルディ川崎は騒ぎ始めない fact3: この俗世は及ぶということはない fact4: 「「この俗世は及ぶけどそれは無声化し易くない」ということは成り立つ」ということは誤りだ
void -> assump2: 以下のように仮定する。「「この俗世は及ばなくておまけに無声化し易くない」ということは間違いだ」ということは成り立つ; fact2 & assump2 -> int1: そのベルディ川崎は騒ぎ始めない; void -> assump1: 以下のように仮定する。そのベルディ川崎は騒ぎ始める; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この俗世は及ばなくてそれに無声化し易いということはない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: この俗世は及ばないがしかし無声化し易い fact2: もし仮に「この俗世は及ばないし更にそれは無声化し易くない」ということは誤っているならそのベルディ川崎は騒ぎ始めない fact3: この俗世は及ぶということはない fact4: 「「この俗世は及ぶけどそれは無声化し易くない」ということは成り立つ」ということは誤りだ ; $hypothesis$ = もしもそのベルディ川崎が騒ぎ始めるならばあの俗世は及ばないしそれは無声化し易いということはない ; $proof$ = 
void -> assump2: 以下のように仮定する。「「この俗世は及ばなくておまけに無声化し易くない」ということは間違いだ」ということは成り立つ; fact2 & assump2 -> int1: そのベルディ川崎は騒ぎ始めない; void -> assump1: 以下のように仮定する。そのベルディ川崎は騒ぎ始める; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この俗世は及ばなくてそれに無声化し易いということはない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この俗世は及ばないがしかし無声化し易い
事実2: もし仮に「この俗世は及ばないし更にそれは無声化し易くない」ということは誤っているならそのベルディ川崎は騒ぎ始めない
事実3: この俗世は及ぶということはない
事実4: 「「この俗世は及ぶけどそれは無声化し易くない」ということは成り立つ」ということは誤りだ

仮説: もしもそのベルディ川崎が騒ぎ始めるならばあの俗世は及ばないしそれは無声化し易いということはない
1. 仮定2: 以下のように仮定する。「「この俗世は及ばなくておまけに無声化し易くない」ということは間違いだ」ということは成り立つ
2. 事実2と仮定2から、推論1: "そのベルディ川崎は騒ぎ始めない"が導かれる
3. 仮定1: 以下のように仮定する。そのベルディ川崎は騒ぎ始める
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "この俗世は及ばなくてそれに無声化し易いということはない"が導かれる
6. [仮定1]と推論3から、仮説が導かれる

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