あの株価は自己実現する
fact1: この人口動態が聞き従うとしたらあの排水口は伝え切れる fact2: 仮に「あるものは御許し下さるかもしくは繰り返せる」ということは偽だとすると「それは自己実現しない」ということは確かである fact3: もしも「何らかの物は焼き難くなくて禁止品目でない」ということは誤っているとしたらそれは御許し下さる fact4: 仮にあるものが青紫ならばあの株価は医学的情報でない fact5: あの排水口は医学的情報だ fact6: あのジャンボ機が御許し下さるとするとこの人口動態は聞き従う fact7: もし仮にあの株価は繰り返せるとしたら「あのジャンボ機は焼き難くないしさらに禁止品目でない」ということは嘘だ fact8: あの株価が繰り返せないならばそれは自己実現する fact9: もしなんらかのものが伝え切れない一方でそれが自己実現するならそれは御許し下さるということはない fact10: あのジャンボ機は雪深い fact11: もしあの排水口は医学的情報であるなら伝え切れない fact12: 雪深いものは青紫である fact13: もしあの株価が御許し下さらないとするとこの留学ブームは聞き従うしそれにそれは繰り返せる
void -> assump1: 以下のように仮定する。あの株価は繰り返せる; fact7 & assump1 -> int1: 「あのジャンボ機は焼き難くないしその上それは禁止品目だということはない」ということは誤りである; fact3 -> int2: もし仮に「あのジャンボ機は焼き難いということはないししかも禁止品目でない」ということは成り立たないとしたらそれは御許し下さる; int1 & int2 -> int3: あのジャンボ機は御許し下さる; int3 & fact6 -> int4: この人口動態は聞き従う; int4 & fact1 -> int5: あの排水口は伝え切れる; fact5 & fact11 -> int6: あの排水口は伝え切れない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの株価は繰り返せない; int8 & fact8 -> hypothesis;
あの株価は自己実現しない
fact14 -> int9: もしも「あの株価は御許し下さるかあるいは繰り返せるかあるいは両方ともだ」ということは間違っていれば自己実現しない;
$facts$ = fact1: この人口動態が聞き従うとしたらあの排水口は伝え切れる fact2: 仮に「あるものは御許し下さるかもしくは繰り返せる」ということは偽だとすると「それは自己実現しない」ということは確かである fact3: もしも「何らかの物は焼き難くなくて禁止品目でない」ということは誤っているとしたらそれは御許し下さる fact4: 仮にあるものが青紫ならばあの株価は医学的情報でない fact5: あの排水口は医学的情報だ fact6: あのジャンボ機が御許し下さるとするとこの人口動態は聞き従う fact7: もし仮にあの株価は繰り返せるとしたら「あのジャンボ機は焼き難くないしさらに禁止品目でない」ということは嘘だ fact8: あの株価が繰り返せないならばそれは自己実現する fact9: もしなんらかのものが伝え切れない一方でそれが自己実現するならそれは御許し下さるということはない fact10: あのジャンボ機は雪深い fact11: もしあの排水口は医学的情報であるなら伝え切れない fact12: 雪深いものは青紫である fact13: もしあの株価が御許し下さらないとするとこの留学ブームは聞き従うしそれにそれは繰り返せる ; $hypothesis$ = あの株価は自己実現する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの株価は繰り返せる; fact7 & assump1 -> int1: 「あのジャンボ機は焼き難くないしその上それは禁止品目だということはない」ということは誤りである; fact3 -> int2: もし仮に「あのジャンボ機は焼き難いということはないししかも禁止品目でない」ということは成り立たないとしたらそれは御許し下さる; int1 & int2 -> int3: あのジャンボ機は御許し下さる; int3 & fact6 -> int4: この人口動態は聞き従う; int4 & fact1 -> int5: あの排水口は伝え切れる; fact5 & fact11 -> int6: あの排水口は伝え切れない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの株価は繰り返せない; int8 & fact8 -> hypothesis; __PROVED__
事実1: この人口動態が聞き従うとしたらあの排水口は伝え切れる
事実2: 仮に「あるものは御許し下さるかもしくは繰り返せる」ということは偽だとすると「それは自己実現しない」ということは確かである
事実3: もしも「何らかの物は焼き難くなくて禁止品目でない」ということは誤っているとしたらそれは御許し下さる
事実4: 仮にあるものが青紫ならばあの株価は医学的情報でない
事実5: あの排水口は医学的情報だ
事実6: あのジャンボ機が御許し下さるとするとこの人口動態は聞き従う
事実7: もし仮にあの株価は繰り返せるとしたら「あのジャンボ機は焼き難くないしさらに禁止品目でない」ということは嘘だ
事実8: あの株価が繰り返せないならばそれは自己実現する
事実9: もしなんらかのものが伝え切れない一方でそれが自己実現するならそれは御許し下さるということはない
事実10: あのジャンボ機は雪深い
事実11: もしあの排水口は医学的情報であるなら伝え切れない
事実12: 雪深いものは青紫である
事実13: もしあの株価が御許し下さらないとするとこの留学ブームは聞き従うしそれにそれは繰り返せる

仮説: あの株価は自己実現する
1. 仮定1: 以下のように仮定する。あの株価は繰り返せる
2. 事実7と仮定1から、推論1: "「あのジャンボ機は焼き難くないしその上それは禁止品目だということはない」ということは誤りである"が導かれる
3. 事実3から、推論2: "もし仮に「あのジャンボ機は焼き難いということはないししかも禁止品目でない」ということは成り立たないとしたらそれは御許し下さる"が導かれる
4. 推論1と推論2から、推論3: "あのジャンボ機は御許し下さる"が導かれる
5. 推論3と事実6から、推論4: "この人口動態は聞き従う"が導かれる
6. 推論4と事実1から、推論5: "あの排水口は伝え切れる"が導かれる
7. 事実5と事実11から、推論6: "あの排水口は伝え切れない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの株価は繰り返せない"が導かれる
10. 推論8と事実8から、仮説が導かれる

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