あの海兵同期は届き難いということはないかまたはそれはバランス良くないかあるいはどちらもである
fact1: あの海兵同期は届き難いということはないかまたはそれはバランス良いか両方である fact2: もしなにかは比較し難くないとするとそれは通過するし加えて体当たりする fact3: あの海兵同期は届き難いかあるいはそれはバランス良くないかもしくは両方だ fact4: 仮にあの海兵同期が通過するとすれば届き難い fact5: 仮にあの燭台が実現し得ない一方でそれが法皇だとしたらあの海兵同期はバランス良くない fact6: ある物は実現し得ない一方で法皇だ fact7: もし仮に何らかのものは通過するなら「それは届き難くないかまたはバランス良いということはないかあるいはどちらもである」ということは真実でない fact8: 仮に「「実現し得ないけれど法皇だ」ということは誤っている」物があるならあの発生場所は通過する fact9: あの燭台は日本化しない fact10: 「そのＰレートは開き切らないがそれは起こり易い」ということは間違っている fact11: 「あの燭台は届き難いということはないけど実現し得る」ということは間違いである fact12: バランス良いものは通過する fact13: もしあの発生場所が届き難い一方でバランス良くないとするとあの海兵同期はバランス良い fact14: もし仮に「「法皇でない」ということは正しい」ものがあるならあの発生場所は通過する fact15: もしも「「バランス良くない一方で通過する」ということは誤っている」ものがあるとしたらあの海兵同期は体当たりする fact16: もしあの発生場所が通過するならそれは体当たりする fact17: あの燭台は法皇である fact18: 仮になにがしかの物は通過するとすれば「「体当たりしないしそれは扶養親族である」ということは真実である」ということは成り立たない fact19: この娩出期は体当たりしない fact20: あの発生場所は体当たりしない fact21: 「「実現し得るしおまけに法皇だ」ということは誤っている」物はある fact22: 比較し難いということはない物は届き難いけれどバランス良くない
void -> assump1: 以下のように仮定する。「「あの燭台は実現し得ないけどそれは法皇だ」ということは成り立たない」ということは正しい; assump1 -> int1: 「「実現し得ないがしかし法皇だ」ということは成り立つということはない」ものはある; int1 & fact8 -> int2: あの発生場所は通過する; int2 & fact16 -> int3: あの発生場所は体当たりする; int3 & fact20 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの燭台は実現し得ないけどそれは法皇である; int5 & fact5 -> int6: あの海兵同期はバランス良くない; int6 -> hypothesis;
「あの海兵同期は体当たりしないがそれは扶養親族だ」ということは成り立たない
fact25 -> int7: もし仮に「あの海兵同期は通過する」ということは正しいならば「それは体当たりしないけれど扶養親族である」ということは誤っている; fact26 -> int8: 仮にあの海兵同期がバランス良いならそれは通過する; fact23 -> int9: 仮に「あの発生場所は比較し難いということはない」ということは成り立つとすれば届き難いしそれはバランス良くない;
$facts$ = fact1: あの海兵同期は届き難いということはないかまたはそれはバランス良いか両方である fact2: もしなにかは比較し難くないとするとそれは通過するし加えて体当たりする fact3: あの海兵同期は届き難いかあるいはそれはバランス良くないかもしくは両方だ fact4: 仮にあの海兵同期が通過するとすれば届き難い fact5: 仮にあの燭台が実現し得ない一方でそれが法皇だとしたらあの海兵同期はバランス良くない fact6: ある物は実現し得ない一方で法皇だ fact7: もし仮に何らかのものは通過するなら「それは届き難くないかまたはバランス良いということはないかあるいはどちらもである」ということは真実でない fact8: 仮に「「実現し得ないけれど法皇だ」ということは誤っている」物があるならあの発生場所は通過する fact9: あの燭台は日本化しない fact10: 「そのＰレートは開き切らないがそれは起こり易い」ということは間違っている fact11: 「あの燭台は届き難いということはないけど実現し得る」ということは間違いである fact12: バランス良いものは通過する fact13: もしあの発生場所が届き難い一方でバランス良くないとするとあの海兵同期はバランス良い fact14: もし仮に「「法皇でない」ということは正しい」ものがあるならあの発生場所は通過する fact15: もしも「「バランス良くない一方で通過する」ということは誤っている」ものがあるとしたらあの海兵同期は体当たりする fact16: もしあの発生場所が通過するならそれは体当たりする fact17: あの燭台は法皇である fact18: 仮になにがしかの物は通過するとすれば「「体当たりしないしそれは扶養親族である」ということは真実である」ということは成り立たない fact19: この娩出期は体当たりしない fact20: あの発生場所は体当たりしない fact21: 「「実現し得るしおまけに法皇だ」ということは誤っている」物はある fact22: 比較し難いということはない物は届き難いけれどバランス良くない ; $hypothesis$ = あの海兵同期は届き難いということはないかまたはそれはバランス良くないかあるいはどちらもである ; $proof$ = 
void -> assump1: 以下のように仮定する。「「あの燭台は実現し得ないけどそれは法皇だ」ということは成り立たない」ということは正しい; assump1 -> int1: 「「実現し得ないがしかし法皇だ」ということは成り立つということはない」ものはある; int1 & fact8 -> int2: あの発生場所は通過する; int2 & fact16 -> int3: あの発生場所は体当たりする; int3 & fact20 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの燭台は実現し得ないけどそれは法皇である; int5 & fact5 -> int6: あの海兵同期はバランス良くない; int6 -> hypothesis; __PROVED__
事実1: あの海兵同期は届き難いということはないかまたはそれはバランス良いか両方である
事実2: もしなにかは比較し難くないとするとそれは通過するし加えて体当たりする
事実3: あの海兵同期は届き難いかあるいはそれはバランス良くないかもしくは両方だ
事実4: 仮にあの海兵同期が通過するとすれば届き難い
事実5: 仮にあの燭台が実現し得ない一方でそれが法皇だとしたらあの海兵同期はバランス良くない
事実6: ある物は実現し得ない一方で法皇だ
事実7: もし仮に何らかのものは通過するなら「それは届き難くないかまたはバランス良いということはないかあるいはどちらもである」ということは真実でない
事実8: 仮に「「実現し得ないけれど法皇だ」ということは誤っている」物があるならあの発生場所は通過する
事実9: あの燭台は日本化しない
事実10: 「そのＰレートは開き切らないがそれは起こり易い」ということは間違っている
事実11: 「あの燭台は届き難いということはないけど実現し得る」ということは間違いである
事実12: バランス良いものは通過する
事実13: もしあの発生場所が届き難い一方でバランス良くないとするとあの海兵同期はバランス良い
事実14: もし仮に「「法皇でない」ということは正しい」ものがあるならあの発生場所は通過する
事実15: もしも「「バランス良くない一方で通過する」ということは誤っている」ものがあるとしたらあの海兵同期は体当たりする
事実16: もしあの発生場所が通過するならそれは体当たりする
事実17: あの燭台は法皇である
事実18: 仮になにがしかの物は通過するとすれば「「体当たりしないしそれは扶養親族である」ということは真実である」ということは成り立たない
事実19: この娩出期は体当たりしない
事実20: あの発生場所は体当たりしない
事実21: 「「実現し得るしおまけに法皇だ」ということは誤っている」物はある
事実22: 比較し難いということはない物は届き難いけれどバランス良くない

仮説: あの海兵同期は届き難いということはないかまたはそれはバランス良くないかあるいはどちらもである
1. 仮定1: 以下のように仮定する。「「あの燭台は実現し得ないけどそれは法皇だ」ということは成り立たない」ということは正しい
2. 仮定1から、推論1: "「「実現し得ないがしかし法皇だ」ということは成り立つということはない」ものはある"が導かれる
3. 推論1と事実8から、推論2: "あの発生場所は通過する"が導かれる
4. 推論2と事実16から、推論3: "あの発生場所は体当たりする"が導かれる
5. 推論3と事実20から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの燭台は実現し得ないけどそれは法皇である"が導かれる
7. 推論5と事実5から、推論6: "あの海兵同期はバランス良くない"が導かれる
8. 推論6から、仮説が導かれる

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