その毎回は管理運営する
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: あの状況は実質化する fact26: あの調査捕鯨は増幅しない
void -> assump1: 以下のように仮定する。あの状況は実質化しないがしかし訂正だ; assump1 -> int1: あの状況は実質化しない; int1 & fact25 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「あの状況は実質化しないが訂正である」ということは真実でない」ということは本当だ; int3 -> int4: 「「実質化しないがしかし訂正である」ということは間違いである」ものはある; int4 & fact3 -> int5: この預かり保育は使用し易くない; int5 & fact20 -> int6: 「あの制度的側面は細いけれど併設しない」ということは成り立たない; int6 & fact4 -> int7: あの調査捕鯨は面白過ぎない; int7 & fact1 -> hypothesis;
その毎回は管理運営しない
fact37 -> int8: もしも「「その毎回は訂正でないけど実質化する」ということは間違いだ」ということは間違っていないならば管理運営しない; fact29 -> int9: その毎回は使用し易いということはないなら「それは訂正でないがしかし実質化する」ということは本当だということはない; fact28 -> int10: もし仮にあの状況は細くないなら「それは併設するし加えてそれは使用し易い」ということは成り立つということはない; fact34 -> int11: もしもこの預かり保育は取り易くないとすれば「それは細くない国家人民党である」ということは事実だ; fact30 -> int12: 仮に「この預かり保育は自信喪失でなくてかつ黒しということはない」ということは事実でないならそれは取り易くない; fact32 & fact35 -> int13: あの調査捕鯨は続けない; fact27 & int13 -> int14: 「この預かり保育は自信喪失であるということはなくて黒しない」ということは成り立たない; int12 & int14 -> int15: この預かり保育は取り易いということはない; int11 & int15 -> int16: この預かり保育は細くないけどそれは国家人民党である; int16 -> int17: この預かり保育は細くない; fact39 -> int18: あの制度的側面がほっとしないとするとそれは面白過ぎるかそれは過ぎるかあるいは両方ともである; fact36 & fact40 -> int19: あの制度的側面はほっとしない; int18 & int19 -> int20: あの制度的側面は面白過ぎるかまたはそれは過ぎる;
$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: あの状況は実質化する fact26: あの調査捕鯨は増幅しない ; $hypothesis$ = その毎回は管理運営する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの状況は実質化しないがしかし訂正だ; assump1 -> int1: あの状況は実質化しない; int1 & fact25 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「あの状況は実質化しないが訂正である」ということは真実でない」ということは本当だ; int3 -> int4: 「「実質化しないがしかし訂正である」ということは間違いである」ものはある; int4 & fact3 -> int5: この預かり保育は使用し易くない; int5 & fact20 -> int6: 「あの制度的側面は細いけれど併設しない」ということは成り立たない; int6 & fact4 -> int7: あの調査捕鯨は面白過ぎない; int7 & fact1 -> 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: あの状況は実質化する
事実26: あの調査捕鯨は増幅しない

仮説: その毎回は管理運営する
1. 仮定1: 以下のように仮定する。あの状況は実質化しないがしかし訂正だ
2. 仮定1から、推論1: "あの状況は実質化しない"が導かれる
3. 推論1と事実25から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「「あの状況は実質化しないが訂正である」ということは真実でない」ということは本当だ"が導かれる
5. 推論3から、推論4: "「「実質化しないがしかし訂正である」ということは間違いである」ものはある"が導かれる
6. 推論4と事実3から、推論5: "この預かり保育は使用し易くない"が導かれる
7. 推論5と事実20から、推論6: "「あの制度的側面は細いけれど併設しない」ということは成り立たない"が導かれる
8. 推論6と事実4から、推論7: "あの調査捕鯨は面白過ぎない"が導かれる
9. 推論7と事実1から、仮説が導かれる

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