あの天元は固し
fact1: もし仮にその利き腕が感得するとしたらこの清潔保持は賛成し難い fact2: もし仮に「あの天元は固しないかもしくは感光しないかまたはどちらもだ」ということは間違いだとすると「それは慣習化しない」ということは成り立つ fact3: 「そのマップＡは雲散霧消する」ということは真実だ fact4: もし「生え易くないかまたは固しないかもしくは両方である」ものがあるとすればそのマップＡは慣習化する fact5: もしもとある物は最大回転角でないならそれはＹ染色体上でない fact6: この開炉は感光する fact7: 中核市制度は感得する fact8: もし何らかのものが慣習化しないとすればあの天元は固し fact9: なにかはＹ染色体上でないとしたら無いしその上感光する fact10: そのマップＡは慣習化するかまたは生え易くないかもしくは両方である fact11: なにがしかの物は慣習化しないかまたはそれは生え易い fact12: もし「慣習化するということはないかまたは固しないかもしくはどちらもな」ものがあるならあの天元は生え易い fact13: もし仮に「あの天元は軽過ぎないかもしくは固しないかあるいは両方ともである」ということは誤っているとするとそれはモジュール化しない fact14: 仮になにがしかの物が慣習化しないかまたは生え易くないかまたは両方ともであるとすると「あの天元は固し」ということは誤りでない fact15: 仮に「そのマップＡは慣習化しないか生え易くない」ということは成り立たないならばそれは感光しない fact16: この半角英数は下り切らないかあるいは感光しないかどちらもだ fact17: そのマップＡは感光する fact18: 仮に「そのマップＡは慣習化しないかまたは生え易いということはないかあるいは両方ともだ」ということは成り立たないならばそれは固しない fact19: 「感光しないかまたは固しないか両方な」ものがあるとしたらそのマップＡは慣習化する fact20: そのマップＡは固しないかあるいは生え易いということはないかあるいは両方ともだ fact21: そのマップＡは感光するかもしくは固しということはない fact22: もしもこの清潔保持が賛成し難いとしたらそのマップＡは最大回転角でない
void -> assump1: 以下のように仮定する。「そのマップＡは慣習化しないか生え易くない」ということは誤っている; fact15 & assump1 -> int1: そのマップＡは感光しない; int1 & fact17 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのマップＡは慣習化しないかあるいは生え易いということはない; int3 -> int4: 「慣習化しないか生え易くない」物はある; int4 & fact14 -> hypothesis;
あの天元は固しない
fact23 -> int5: もし仮にそのマップＡはＹ染色体上でないならばそれは無くて更に感光する; fact27 -> int6: もしそのマップＡは最大回転角でないならばそれはＹ染色体上であるということはない; fact24 -> int7: もしその利き腕は中核市制度であるならば感得する;
$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: 以下のように仮定する。「そのマップＡは慣習化しないか生え易くない」ということは誤っている; fact15 & assump1 -> int1: そのマップＡは感光しない; int1 & fact17 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのマップＡは慣習化しないかあるいは生え易いということはない; int3 -> int4: 「慣習化しないか生え易くない」物はある; int4 & fact14 -> 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. 事実15と仮定1から、推論1: "そのマップＡは感光しない"が導かれる
3. 推論1と事実17から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "そのマップＡは慣習化しないかあるいは生え易いということはない"が導かれる
5. 推論3から、推論4: "「慣習化しないか生え易くない」物はある"が導かれる
6. 推論4と事実14から、仮説が導かれる

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