仮にこの必然性は規則正しいならば「その立法権限は利用し易くないし離れ難いということはない」ということは嘘である
fact1: もしこの必然性は規則正しいとすると「その立法権限は利用し易いけれど離れ難いということはない」ということは成り立たない fact2: その立法権限が打破出来ないしさらに離れ難くない fact3: その立法権限は打破出来るとすれば「その宗主国は複勝率でなくてそれは離れ難くない」ということは成り立たない fact4: 「その立法権限は利用し易いけど打破出来ない」ということは誤っている fact5: 「その宗主国は規則正しいということはないし複勝率であるということはない」ということは成り立たない fact6: もし仮にその立法権限は複勝率でないなら「その宗主国は離れ難いがしかし利用し易くない」ということは誤っている fact7: 仮にこの必然性が規則正しいとすればそれは複勝率でない fact8: もしこの必然性は哀れっぽくないとすれば「「その宗主国は利用し易くないしそれは規則正しいということはない」ということは確かである」ということは嘘だ fact9: もし仮にその宗主国は打破出来ないとすると「その立法権限は利用し易くないしそれは離れ難くない」ということは偽だ fact10: もし仮にその立法権限が規則正しいということはないとしたらこの必然性は利用し易い fact11: その立法権限が哀れっぽくないとするとその宗主国は離れ難いということはない fact12: その立法権限は哀れっぽい fact13: この必然性は複勝率でない fact14: もし仮にその宗主国が複勝率ならそれは離れ難くない fact15: もしもその宗主国が複勝率でないならばこの必然性は規則正しくない fact16: この必然性は高騰しない fact17: その大老は哀れっぽくない fact18: その立法権限は利用し易くないし加えてそれは規則正しくない fact19: もしもその宗主国が打破出来るとしたらそれは複勝率だということはなくてそれは哀れっぽくない fact20: 仮にその宗主国は複勝率でないとすると「「この必然性は規則正しいがしかし打破出来ない」ということは誤りだ」ということは成り立つ fact21: その宗主国は利用し易くない
void -> assump1: 以下のように仮定する。その宗主国は打破出来る; fact19 & assump1 -> int1: その宗主国は複勝率でないしさらに哀れっぽくない; int1 -> int2: その宗主国は複勝率でない; int2 & fact15 -> int3: この必然性は規則正しくない; void -> assump2: 以下のように仮定する。「この必然性は規則正しい」ということは成り立つ; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その宗主国は打破出来ない; int5 & fact9 -> int6: 「その立法権限は利用し易くないしおまけにそれは離れ難くない」ということは誤りだ; [assump2] & int6 -> hypothesis;
$facts$ = fact1: もしこの必然性は規則正しいとすると「その立法権限は利用し易いけれど離れ難いということはない」ということは成り立たない fact2: その立法権限が打破出来ないしさらに離れ難くない fact3: その立法権限は打破出来るとすれば「その宗主国は複勝率でなくてそれは離れ難くない」ということは成り立たない fact4: 「その立法権限は利用し易いけど打破出来ない」ということは誤っている fact5: 「その宗主国は規則正しいということはないし複勝率であるということはない」ということは成り立たない fact6: もし仮にその立法権限は複勝率でないなら「その宗主国は離れ難いがしかし利用し易くない」ということは誤っている fact7: 仮にこの必然性が規則正しいとすればそれは複勝率でない fact8: もしこの必然性は哀れっぽくないとすれば「「その宗主国は利用し易くないしそれは規則正しいということはない」ということは確かである」ということは嘘だ fact9: もし仮にその宗主国は打破出来ないとすると「その立法権限は利用し易くないしそれは離れ難くない」ということは偽だ fact10: もし仮にその立法権限が規則正しいということはないとしたらこの必然性は利用し易い fact11: その立法権限が哀れっぽくないとするとその宗主国は離れ難いということはない fact12: その立法権限は哀れっぽい fact13: この必然性は複勝率でない fact14: もし仮にその宗主国が複勝率ならそれは離れ難くない fact15: もしもその宗主国が複勝率でないならばこの必然性は規則正しくない fact16: この必然性は高騰しない fact17: その大老は哀れっぽくない fact18: その立法権限は利用し易くないし加えてそれは規則正しくない fact19: もしもその宗主国が打破出来るとしたらそれは複勝率だということはなくてそれは哀れっぽくない fact20: 仮にその宗主国は複勝率でないとすると「「この必然性は規則正しいがしかし打破出来ない」ということは誤りだ」ということは成り立つ fact21: その宗主国は利用し易くない ; $hypothesis$ = 仮にこの必然性は規則正しいならば「その立法権限は利用し易くないし離れ難いということはない」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。その宗主国は打破出来る; fact19 & assump1 -> int1: その宗主国は複勝率でないしさらに哀れっぽくない; int1 -> int2: その宗主国は複勝率でない; int2 & fact15 -> int3: この必然性は規則正しくない; void -> assump2: 以下のように仮定する。「この必然性は規則正しい」ということは成り立つ; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その宗主国は打破出来ない; int5 & fact9 -> int6: 「その立法権限は利用し易くないしおまけにそれは離れ難くない」ということは誤りだ; [assump2] & int6 -> hypothesis; __PROVED__
事実1: もしこの必然性は規則正しいとすると「その立法権限は利用し易いけれど離れ難いということはない」ということは成り立たない
事実2: その立法権限が打破出来ないしさらに離れ難くない
事実3: その立法権限は打破出来るとすれば「その宗主国は複勝率でなくてそれは離れ難くない」ということは成り立たない
事実4: 「その立法権限は利用し易いけど打破出来ない」ということは誤っている
事実5: 「その宗主国は規則正しいということはないし複勝率であるということはない」ということは成り立たない
事実6: もし仮にその立法権限は複勝率でないなら「その宗主国は離れ難いがしかし利用し易くない」ということは誤っている
事実7: 仮にこの必然性が規則正しいとすればそれは複勝率でない
事実8: もしこの必然性は哀れっぽくないとすれば「「その宗主国は利用し易くないしそれは規則正しいということはない」ということは確かである」ということは嘘だ
事実9: もし仮にその宗主国は打破出来ないとすると「その立法権限は利用し易くないしそれは離れ難くない」ということは偽だ
事実10: もし仮にその立法権限が規則正しいということはないとしたらこの必然性は利用し易い
事実11: その立法権限が哀れっぽくないとするとその宗主国は離れ難いということはない
事実12: その立法権限は哀れっぽい
事実13: この必然性は複勝率でない
事実14: もし仮にその宗主国が複勝率ならそれは離れ難くない
事実15: もしもその宗主国が複勝率でないならばこの必然性は規則正しくない
事実16: この必然性は高騰しない
事実17: その大老は哀れっぽくない
事実18: その立法権限は利用し易くないし加えてそれは規則正しくない
事実19: もしもその宗主国が打破出来るとしたらそれは複勝率だということはなくてそれは哀れっぽくない
事実20: 仮にその宗主国は複勝率でないとすると「「この必然性は規則正しいがしかし打破出来ない」ということは誤りだ」ということは成り立つ
事実21: その宗主国は利用し易くない

仮説: 仮にこの必然性は規則正しいならば「その立法権限は利用し易くないし離れ難いということはない」ということは嘘である
1. 仮定1: 以下のように仮定する。その宗主国は打破出来る
2. 事実19と仮定1から、推論1: "その宗主国は複勝率でないしさらに哀れっぽくない"が導かれる
3. 推論1から、推論2: "その宗主国は複勝率でない"が導かれる
4. 推論2と事実15から、推論3: "この必然性は規則正しくない"が導かれる
5. 仮定2: 以下のように仮定する。「この必然性は規則正しい」ということは成り立つ
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "その宗主国は打破出来ない"が導かれる
8. 推論5と事実9から、推論6: "「その立法権限は利用し易くないしおまけにそれは離れ難くない」ということは誤りだ"が導かれる
9. [仮定2]と推論6から、仮説が導かれる

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