この赤心は金鍍金する
fact1: 「金鍍金する」ものはある fact2: その政治亡命者は掛かり易い fact3: その政治亡命者は加勢する fact4: あの加入儀礼はすっごーい fact5: 「電子音な」物はある fact6: あの加入儀礼は学道する fact7: もしこの赤心は学道しないとすれば「加勢しないかあるいはそれは金鍍金しないかあるいは両方だ」ということは真実でない fact8: 仮にその政治亡命者は御宜しくないとすれば「モニタリングしない」ということは嘘である fact9: もし仮にこの赤心が止む無いとするとそれは御宜しい fact10: もし仮に何かは御宜しいしかつ加勢すればこの赤心は金鍍金する fact11: もし仮にその政治亡命者は御宜しくないとすれば「それはモニタリングしないかもしくは論及するということはないかまたはどちらもだ」ということは成り立たない fact12: 御宜しいものは金鍍金しない fact13: 仮に「「モニタリングしないかまたは論及しない」ということは偽な」ものがあるならあの加入儀礼は止む無いということはない fact14: もしもあの加入儀礼が学道するとしたら掛かり易い fact15: 「居住サービスな」物はある fact16: 「屈する」ものはある fact17: もし仮に何かはモニタリングするしさらにそれが金鍍金するとするとその政治亡命者は加勢する fact18: あの加入儀礼は出芽するし論及する fact19: 何らかの物はモニタリングしないかもしくは論及しない fact20: なんらかのものは掛かり易いとすると「止む無い」ということは成り立つ
void -> assump1: 以下のように仮定する。その政治亡命者は御宜しくない; fact11 & assump1 -> int1: 「その政治亡命者はモニタリングしないか論及しない」ということは成り立たない; int1 -> int2: 「「モニタリングしないか論及しないか両方だ」ということは嘘な」ものはある; int2 & fact13 -> int3: あの加入儀礼は止む無くない; fact20 -> int4: もしもあの加入儀礼が掛かり易いとするとそれは止む無い; fact14 & fact6 -> int5: あの加入儀礼は掛かり易い; int4 & int5 -> int6: あの加入儀礼は止む無い; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その政治亡命者は御宜しい」ということは間違っていない; int8 & fact3 -> int9: その政治亡命者は御宜しくてさらに加勢する; int9 -> int10: あるものは御宜しくて加勢する; int10 & fact10 -> hypothesis;
この赤心は金鍍金しない
fact21 -> int11: もしもこの赤心が御宜しいとすれば金鍍金しない;
$facts$ = fact1: 「金鍍金する」ものはある fact2: その政治亡命者は掛かり易い fact3: その政治亡命者は加勢する fact4: あの加入儀礼はすっごーい fact5: 「電子音な」物はある fact6: あの加入儀礼は学道する fact7: もしこの赤心は学道しないとすれば「加勢しないかあるいはそれは金鍍金しないかあるいは両方だ」ということは真実でない fact8: 仮にその政治亡命者は御宜しくないとすれば「モニタリングしない」ということは嘘である fact9: もし仮にこの赤心が止む無いとするとそれは御宜しい fact10: もし仮に何かは御宜しいしかつ加勢すればこの赤心は金鍍金する fact11: もし仮にその政治亡命者は御宜しくないとすれば「それはモニタリングしないかもしくは論及するということはないかまたはどちらもだ」ということは成り立たない fact12: 御宜しいものは金鍍金しない fact13: 仮に「「モニタリングしないかまたは論及しない」ということは偽な」ものがあるならあの加入儀礼は止む無いということはない fact14: もしもあの加入儀礼が学道するとしたら掛かり易い fact15: 「居住サービスな」物はある fact16: 「屈する」ものはある fact17: もし仮に何かはモニタリングするしさらにそれが金鍍金するとするとその政治亡命者は加勢する fact18: あの加入儀礼は出芽するし論及する fact19: 何らかの物はモニタリングしないかもしくは論及しない fact20: なんらかのものは掛かり易いとすると「止む無い」ということは成り立つ ; $hypothesis$ = この赤心は金鍍金する ; $proof$ = 
void -> assump1: 以下のように仮定する。その政治亡命者は御宜しくない; fact11 & assump1 -> int1: 「その政治亡命者はモニタリングしないか論及しない」ということは成り立たない; int1 -> int2: 「「モニタリングしないか論及しないか両方だ」ということは嘘な」ものはある; int2 & fact13 -> int3: あの加入儀礼は止む無くない; fact20 -> int4: もしもあの加入儀礼が掛かり易いとするとそれは止む無い; fact14 & fact6 -> int5: あの加入儀礼は掛かり易い; int4 & int5 -> int6: あの加入儀礼は止む無い; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その政治亡命者は御宜しい」ということは間違っていない; int8 & fact3 -> int9: その政治亡命者は御宜しくてさらに加勢する; int9 -> int10: あるものは御宜しくて加勢する; int10 & fact10 -> hypothesis; __PROVED__
事実1: 「金鍍金する」ものはある
事実2: その政治亡命者は掛かり易い
事実3: その政治亡命者は加勢する
事実4: あの加入儀礼はすっごーい
事実5: 「電子音な」物はある
事実6: あの加入儀礼は学道する
事実7: もしこの赤心は学道しないとすれば「加勢しないかあるいはそれは金鍍金しないかあるいは両方だ」ということは真実でない
事実8: 仮にその政治亡命者は御宜しくないとすれば「モニタリングしない」ということは嘘である
事実9: もし仮にこの赤心が止む無いとするとそれは御宜しい
事実10: もし仮に何かは御宜しいしかつ加勢すればこの赤心は金鍍金する
事実11: もし仮にその政治亡命者は御宜しくないとすれば「それはモニタリングしないかもしくは論及するということはないかまたはどちらもだ」ということは成り立たない
事実12: 御宜しいものは金鍍金しない
事実13: 仮に「「モニタリングしないかまたは論及しない」ということは偽な」ものがあるならあの加入儀礼は止む無いということはない
事実14: もしもあの加入儀礼が学道するとしたら掛かり易い
事実15: 「居住サービスな」物はある
事実16: 「屈する」ものはある
事実17: もし仮に何かはモニタリングするしさらにそれが金鍍金するとするとその政治亡命者は加勢する
事実18: あの加入儀礼は出芽するし論及する
事実19: 何らかの物はモニタリングしないかもしくは論及しない
事実20: なんらかのものは掛かり易いとすると「止む無い」ということは成り立つ

仮説: この赤心は金鍍金する
1. 仮定1: 以下のように仮定する。その政治亡命者は御宜しくない
2. 事実11と仮定1から、推論1: "「その政治亡命者はモニタリングしないか論及しない」ということは成り立たない"が導かれる
3. 推論1から、推論2: "「「モニタリングしないか論及しないか両方だ」ということは嘘な」ものはある"が導かれる
4. 推論2と事実13から、推論3: "あの加入儀礼は止む無くない"が導かれる
5. 事実20から、推論4: "もしもあの加入儀礼が掛かり易いとするとそれは止む無い"が導かれる
6. 事実14と事実6から、推論5: "あの加入儀礼は掛かり易い"が導かれる
7. 推論4と推論5から、推論6: "あの加入儀礼は止む無い"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「その政治亡命者は御宜しい」ということは間違っていない"が導かれる
10. 推論8と事実3から、推論9: "その政治亡命者は御宜しくてさらに加勢する"が導かれる
11. 推論9から、推論10: "あるものは御宜しくて加勢する"が導かれる
12. 推論10と事実10から、仮説が導かれる

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