このクイックページが伝え易いとしたらその金運は寛ぐ
fact1: 「何らかのものは白帆でないがしかしそれは分権案だ」ということは間違いであるとするとそれは性交する fact2: もしもその宇宙通信が白帆でないならばあの給与等は白帆であるということはない fact3: もしその給与等が白帆でないならこのクイックページは贖わない fact4: 「その金運が分権案でないとしたらその金運は性交する」ということは確かだ fact5: もし「白帆でないけど分権案な」物があればこのクイックページは伝え易い fact6: もし仮になんらかの物が性交するとすると寛ぐ fact7: なにかは白帆でないけれど分権案ならこのクイックページは伝え易くない
void -> assump1: 以下のように仮定する。その金運は白帆でない一方で分権案である; assump1 -> int1: 「「白帆でないししかも分権案な」物はある」ということは偽でない; int1 & fact7 -> int2: このクイックページは伝え易くない; void -> assump2: 以下のように仮定する。このクイックページは伝え易い; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その金運は白帆でないけれどそれは分権案である」ということは成り立たない; fact1 -> int5: 「その金運は白帆でないけど分権案である」ということは成り立たないなら「それは性交する」ということは真実である; int4 & int5 -> int6: 「その金運は性交する」ということは確かである; fact6 -> int7: 仮にその金運は性交するとすると「それは寛ぐ」ということは成り立つ; int6 & int7 -> int8: 「その金運は寛ぐ」ということは偽だということはない; [assump2] & int8 -> hypothesis;
何らかのものは贖うということはない一方で済ま無い
$facts$ = fact1: 「何らかのものは白帆でないがしかしそれは分権案だ」ということは間違いであるとするとそれは性交する fact2: もしもその宇宙通信が白帆でないならばあの給与等は白帆であるということはない fact3: もしその給与等が白帆でないならこのクイックページは贖わない fact4: 「その金運が分権案でないとしたらその金運は性交する」ということは確かだ fact5: もし「白帆でないけど分権案な」物があればこのクイックページは伝え易い fact6: もし仮になんらかの物が性交するとすると寛ぐ fact7: なにかは白帆でないけれど分権案ならこのクイックページは伝え易くない ; $hypothesis$ = このクイックページが伝え易いとしたらその金運は寛ぐ ; $proof$ = 
void -> assump1: 以下のように仮定する。その金運は白帆でない一方で分権案である; assump1 -> int1: 「「白帆でないししかも分権案な」物はある」ということは偽でない; int1 & fact7 -> int2: このクイックページは伝え易くない; void -> assump2: 以下のように仮定する。このクイックページは伝え易い; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その金運は白帆でないけれどそれは分権案である」ということは成り立たない; fact1 -> int5: 「その金運は白帆でないけど分権案である」ということは成り立たないなら「それは性交する」ということは真実である; int4 & int5 -> int6: 「その金運は性交する」ということは確かである; fact6 -> int7: 仮にその金運は性交するとすると「それは寛ぐ」ということは成り立つ; int6 & int7 -> int8: 「その金運は寛ぐ」ということは偽だということはない; [assump2] & int8 -> hypothesis; __PROVED__
事実1: 「何らかのものは白帆でないがしかしそれは分権案だ」ということは間違いであるとするとそれは性交する
事実2: もしもその宇宙通信が白帆でないならばあの給与等は白帆であるということはない
事実3: もしその給与等が白帆でないならこのクイックページは贖わない
事実4: 「その金運が分権案でないとしたらその金運は性交する」ということは確かだ
事実5: もし「白帆でないけど分権案な」物があればこのクイックページは伝え易い
事実6: もし仮になんらかの物が性交するとすると寛ぐ
事実7: なにかは白帆でないけれど分権案ならこのクイックページは伝え易くない

仮説: このクイックページが伝え易いとしたらその金運は寛ぐ
1. 仮定1: 以下のように仮定する。その金運は白帆でない一方で分権案である
2. 仮定1から、推論1: "「「白帆でないししかも分権案な」物はある」ということは偽でない"が導かれる
3. 推論1と事実7から、推論2: "このクイックページは伝え易くない"が導かれる
4. 仮定2: 以下のように仮定する。このクイックページは伝え易い
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "「その金運は白帆でないけれどそれは分権案である」ということは成り立たない"が導かれる
7. 事実1から、推論5: "「その金運は白帆でないけど分権案である」ということは成り立たないなら「それは性交する」ということは真実である"が導かれる
8. 推論4と推論5から、推論6: "「その金運は性交する」ということは確かである"が導かれる
9. 事実6から、推論7: "仮にその金運は性交するとすると「それは寛ぐ」ということは成り立つ"が導かれる
10. 推論6と推論7から、推論8: "「その金運は寛ぐ」ということは偽だということはない"が導かれる
11. [仮定2]と推論8から、仮説が導かれる

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