その原始地球上は補強する
fact1: 「その改革作業は搬出する」ということは確かである fact2: もしも「この茶髪Ａは興奮し過ぎなくて加えてそれは新生するということはない」ということは間違いだとすればあの困窮は操作し易い fact3: あの脳下垂体系は伝え難くないとしたら「「その原始地球上は操作し易くないしおまけに麗しということはない」ということは誤りである」ということは確かだ fact4: 「ある物は伝え難くないが振り下ろす」ということは誤りだとするとそれは伝え難い fact5: この茶髪Ａは涙脆い fact6: 仮にその改革作業は新生すれば「あの脳下垂体系は見易くない」ということは成り立つ fact7: もしも「その改革作業は補強するということはないがそれは興奮し過ぎる」ということは誤っているとすればあの原始地球上は興奮し過ぎない fact8: 仮にその困窮が操作し易いとするとあの税・社会保障負担は麗し fact9: もしも「何かは伝え難いけれど見易くない」ということは嘘であるならそれは補強しない fact10: 「とあるものは操作し易くないししかもそれは麗しない」ということは間違っているとすると興奮し過ぎる fact11: あの申し込みは補強しない fact12: 仮に何かは伝え難くないとしたら「操作し易くないし加えて吠え続けない」ということは偽である fact13: もし仮に「あの脳下垂体系は伝え難くないか見易くないかまたは両方ともである」ということは誤りであるとすればあの税・社会保障負担は伝え難くない fact14: すべては新生するかもしくはそれは見易くない fact15: もしもある物は麗しないならば「それは伝え難いけど見易くない」ということは成り立たない fact16: 仮にあの脳下垂体系が補強しないなら麗しし更に興奮し過ぎる fact17: もし「あの税・社会保障負担は麗しし伝え難い」ということは成り立つならその改革作業は補強しない fact18: もし仮に何らかのものは御預かり致すけど搬出しないなら「見易い」ということは成り立つ fact19: もしもその改革作業は見易くないとすれば「あの脳下垂体系は見易いということはない」ということは成り立つ fact20: 仮にあの税・社会保障負担は一般路線バスだとすれば「伝え難くない一方で振り下ろす」ということは誤りだ fact21: もしその原始地球上は興奮し過ぎるということはないとすれば「あの脳下垂体系は操作し易いし更に麗し」ということは誤っている fact22: この茶髪Ａは涙脆いなら「興奮し過ぎないしかつ新生するということはない」ということは嘘だ fact23: もしなにがしかのものが麗しないなら伝え難いしその上見易い fact24: 仮にその原始地球上は興奮し過ぎるとすれば「補強する」ということは成り立つ fact25: あの脳下垂体系が伝え難いとしたらそれは御預かり致すし搬出しない
void -> assump1: 以下のように仮定する。あの脳下垂体系は伝え難い; fact25 & assump1 -> int1: あの脳下垂体系は御預かり致すけど搬出しない; fact18 -> int2: もしあの脳下垂体系が御預かり致すがしかし搬出するということはないとすれば「見易い」ということは本当だ; int1 & int2 -> int3: あの脳下垂体系は見易い; fact14 -> int4: その改革作業は新生するかそれは見易くない; fact6 & fact19 & int4 -> int5: 「あの脳下垂体系は見易くない」ということは正しい; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの脳下垂体系は伝え難くない; int7 & fact3 -> int8: 「その原始地球上は操作し易くないしそれは麗しない」ということは偽である; fact10 -> int9: 仮に「その原始地球上は操作し易くないし麗しない」ということは本当でないなら「興奮し過ぎる」ということは間違いでない; int8 & int9 -> int10: その原始地球上は興奮し過ぎる; int10 & fact24 -> hypothesis;
その原始地球上は補強しない
fact26 & fact28 -> int11: 「この茶髪Ａは興奮し過ぎないしその上新生しない」ということは誤っている; fact32 & int11 -> int12: その困窮は操作し易い; fact30 & int12 -> int13: 「あの税・社会保障負担は麗し」ということは正しい; fact27 -> int14: もし「あの税・社会保障負担は伝え難くないがしかし振り下ろす」ということは誤りだとしたら伝え難い;
$facts$ = fact1: 「その改革作業は搬出する」ということは確かである fact2: もしも「この茶髪Ａは興奮し過ぎなくて加えてそれは新生するということはない」ということは間違いだとすればあの困窮は操作し易い fact3: あの脳下垂体系は伝え難くないとしたら「「その原始地球上は操作し易くないしおまけに麗しということはない」ということは誤りである」ということは確かだ fact4: 「ある物は伝え難くないが振り下ろす」ということは誤りだとするとそれは伝え難い fact5: この茶髪Ａは涙脆い fact6: 仮にその改革作業は新生すれば「あの脳下垂体系は見易くない」ということは成り立つ fact7: もしも「その改革作業は補強するということはないがそれは興奮し過ぎる」ということは誤っているとすればあの原始地球上は興奮し過ぎない fact8: 仮にその困窮が操作し易いとするとあの税・社会保障負担は麗し fact9: もしも「何かは伝え難いけれど見易くない」ということは嘘であるならそれは補強しない fact10: 「とあるものは操作し易くないししかもそれは麗しない」ということは間違っているとすると興奮し過ぎる fact11: あの申し込みは補強しない fact12: 仮に何かは伝え難くないとしたら「操作し易くないし加えて吠え続けない」ということは偽である fact13: もし仮に「あの脳下垂体系は伝え難くないか見易くないかまたは両方ともである」ということは誤りであるとすればあの税・社会保障負担は伝え難くない fact14: すべては新生するかもしくはそれは見易くない fact15: もしもある物は麗しないならば「それは伝え難いけど見易くない」ということは成り立たない fact16: 仮にあの脳下垂体系が補強しないなら麗しし更に興奮し過ぎる fact17: もし「あの税・社会保障負担は麗しし伝え難い」ということは成り立つならその改革作業は補強しない fact18: もし仮に何らかのものは御預かり致すけど搬出しないなら「見易い」ということは成り立つ fact19: もしもその改革作業は見易くないとすれば「あの脳下垂体系は見易いということはない」ということは成り立つ fact20: 仮にあの税・社会保障負担は一般路線バスだとすれば「伝え難くない一方で振り下ろす」ということは誤りだ fact21: もしその原始地球上は興奮し過ぎるということはないとすれば「あの脳下垂体系は操作し易いし更に麗し」ということは誤っている fact22: この茶髪Ａは涙脆いなら「興奮し過ぎないしかつ新生するということはない」ということは嘘だ fact23: もしなにがしかのものが麗しないなら伝え難いしその上見易い fact24: 仮にその原始地球上は興奮し過ぎるとすれば「補強する」ということは成り立つ fact25: あの脳下垂体系が伝え難いとしたらそれは御預かり致すし搬出しない ; $hypothesis$ = その原始地球上は補強する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの脳下垂体系は伝え難い; fact25 & assump1 -> int1: あの脳下垂体系は御預かり致すけど搬出しない; fact18 -> int2: もしあの脳下垂体系が御預かり致すがしかし搬出するということはないとすれば「見易い」ということは本当だ; int1 & int2 -> int3: あの脳下垂体系は見易い; fact14 -> int4: その改革作業は新生するかそれは見易くない; fact6 & fact19 & int4 -> int5: 「あの脳下垂体系は見易くない」ということは正しい; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの脳下垂体系は伝え難くない; int7 & fact3 -> int8: 「その原始地球上は操作し易くないしそれは麗しない」ということは偽である; fact10 -> int9: 仮に「その原始地球上は操作し易くないし麗しない」ということは本当でないなら「興奮し過ぎる」ということは間違いでない; int8 & int9 -> int10: その原始地球上は興奮し過ぎる; int10 & fact24 -> hypothesis; __PROVED__
事実1: 「その改革作業は搬出する」ということは確かである
事実2: もしも「この茶髪Ａは興奮し過ぎなくて加えてそれは新生するということはない」ということは間違いだとすればあの困窮は操作し易い
事実3: あの脳下垂体系は伝え難くないとしたら「「その原始地球上は操作し易くないしおまけに麗しということはない」ということは誤りである」ということは確かだ
事実4: 「ある物は伝え難くないが振り下ろす」ということは誤りだとするとそれは伝え難い
事実5: この茶髪Ａは涙脆い
事実6: 仮にその改革作業は新生すれば「あの脳下垂体系は見易くない」ということは成り立つ
事実7: もしも「その改革作業は補強するということはないがそれは興奮し過ぎる」ということは誤っているとすればあの原始地球上は興奮し過ぎない
事実8: 仮にその困窮が操作し易いとするとあの税・社会保障負担は麗し
事実9: もしも「何かは伝え難いけれど見易くない」ということは嘘であるならそれは補強しない
事実10: 「とあるものは操作し易くないししかもそれは麗しない」ということは間違っているとすると興奮し過ぎる
事実11: あの申し込みは補強しない
事実12: 仮に何かは伝え難くないとしたら「操作し易くないし加えて吠え続けない」ということは偽である
事実13: もし仮に「あの脳下垂体系は伝え難くないか見易くないかまたは両方ともである」ということは誤りであるとすればあの税・社会保障負担は伝え難くない
事実14: すべては新生するかもしくはそれは見易くない
事実15: もしもある物は麗しないならば「それは伝え難いけど見易くない」ということは成り立たない
事実16: 仮にあの脳下垂体系が補強しないなら麗しし更に興奮し過ぎる
事実17: もし「あの税・社会保障負担は麗しし伝え難い」ということは成り立つならその改革作業は補強しない
事実18: もし仮に何らかのものは御預かり致すけど搬出しないなら「見易い」ということは成り立つ
事実19: もしもその改革作業は見易くないとすれば「あの脳下垂体系は見易いということはない」ということは成り立つ
事実20: 仮にあの税・社会保障負担は一般路線バスだとすれば「伝え難くない一方で振り下ろす」ということは誤りだ
事実21: もしその原始地球上は興奮し過ぎるということはないとすれば「あの脳下垂体系は操作し易いし更に麗し」ということは誤っている
事実22: この茶髪Ａは涙脆いなら「興奮し過ぎないしかつ新生するということはない」ということは嘘だ
事実23: もしなにがしかのものが麗しないなら伝え難いしその上見易い
事実24: 仮にその原始地球上は興奮し過ぎるとすれば「補強する」ということは成り立つ
事実25: あの脳下垂体系が伝え難いとしたらそれは御預かり致すし搬出しない

仮説: その原始地球上は補強する
1. 仮定1: 以下のように仮定する。あの脳下垂体系は伝え難い
2. 事実25と仮定1から、推論1: "あの脳下垂体系は御預かり致すけど搬出しない"が導かれる
3. 事実18から、推論2: "もしあの脳下垂体系が御預かり致すがしかし搬出するということはないとすれば「見易い」ということは本当だ"が導かれる
4. 推論1と推論2から、推論3: "あの脳下垂体系は見易い"が導かれる
5. 事実14から、推論4: "その改革作業は新生するかそれは見易くない"が導かれる
6. 事実6と事実19と推論4から、推論5: "「あの脳下垂体系は見易くない」ということは正しい"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの脳下垂体系は伝え難くない"が導かれる
9. 推論7と事実3から、推論8: "「その原始地球上は操作し易くないしそれは麗しない」ということは偽である"が導かれる
10. 事実10から、推論9: "仮に「その原始地球上は操作し易くないし麗しない」ということは本当でないなら「興奮し過ぎる」ということは間違いでない"が導かれる
11. 推論8と推論9から、推論10: "その原始地球上は興奮し過ぎる"が導かれる
12. 推論10と事実24から、仮説が導かれる

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