もしもあの志願は気難しいとしたら「この投資促進効果は買い上げないけれど自己分裂である」ということは偽だ
fact1: 逞しくないものは買い上げないけれど自己分裂だ fact2: 「あの一段階新相は気持ち良いしそれは要求項目である」ということは成り立たない fact3: あの一段階新相は気持ち良くない fact4: この投資促進効果は予測し易くない一方で自己分裂だ fact5: その安定確保は気持ち良くない fact6: あの一段階新相は逞しい fact7: 仮にその安定確保が予測し易いということはないならあの志願は気難しくない fact8: あの一段階新相が気持ち良くてそれが要求項目であるとしたらその安定確保は予測し易くない fact9: もし仮に「あの一段階新相は気持ち良くないがしかしそれは要求項目である」ということは間違いであるとするとこの投資促進効果は逞しいということはない fact10: もし仮にこの投資促進効果は逞しくないとすれば「買い上げるし自己分裂である」ということは間違いである fact11: もしもとあるものは逞しくないとしたら「買い上げないしおまけに自己分裂である」ということは誤っている fact12: もしもその安定確保は気難しくないとすれば「「自己分裂でないが予測し易い」ということは本当である」ということは誤りである fact13: その地平は気持ち良くない fact14: もし仮にこの投資促進効果が逞しくないとすればそれは買い上げるということはないしかつ自己分裂だ fact15: もしもあの一段階新相が気持ち良くないがしかし要求項目だとしたらその安定確保は予測し易くない fact16: 仮になにかは予測し易いということはないなら「要求項目でないしさらにそれは逞しい」ということは成り立つということはない fact17: 「この投資促進効果が買い上げるしその上それは自己分裂だ」ということは嘘だ fact18: 仮にあの志願は気難しいとすれば「この投資促進効果は買い上げるしさらに自己分裂だ」ということは成り立たない fact19: 仮に「あの一段階新相は自己分裂でないけれど逞しい」ということは偽であるならこの投資促進効果は買い上げない fact20: もしもあの志願が気難しいならこの投資促進効果は買い上げないけれど自己分裂だ
void -> assump1: 以下のように仮定する。あの一段階新相は気持ち良くないがしかし要求項目である; fact15 & assump1 -> int1: その安定確保は予測し易くない; int1 & fact7 -> int2: あの志願は気難しくない; void -> assump2: 以下のように仮定する。あの志願は気難しい; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの一段階新相は気持ち良くないけど要求項目だ」ということは嘘である; int4 & fact9 -> int5: この投資促進効果は逞しくない; fact11 -> int6: 「この投資促進効果は逞しいということはないなら「この投資促進効果は買い上げるということはない一方で自己分裂だ」ということは嘘だ」ということは成り立つ; int5 & int6 -> int7: 「この投資促進効果は買い上げないけれど自己分裂だ」ということは間違いである; [assump2] & int7 -> hypothesis;
$facts$ = fact1: 逞しくないものは買い上げないけれど自己分裂だ fact2: 「あの一段階新相は気持ち良いしそれは要求項目である」ということは成り立たない fact3: あの一段階新相は気持ち良くない fact4: この投資促進効果は予測し易くない一方で自己分裂だ fact5: その安定確保は気持ち良くない fact6: あの一段階新相は逞しい fact7: 仮にその安定確保が予測し易いということはないならあの志願は気難しくない fact8: あの一段階新相が気持ち良くてそれが要求項目であるとしたらその安定確保は予測し易くない fact9: もし仮に「あの一段階新相は気持ち良くないがしかしそれは要求項目である」ということは間違いであるとするとこの投資促進効果は逞しいということはない fact10: もし仮にこの投資促進効果は逞しくないとすれば「買い上げるし自己分裂である」ということは間違いである fact11: もしもとあるものは逞しくないとしたら「買い上げないしおまけに自己分裂である」ということは誤っている fact12: もしもその安定確保は気難しくないとすれば「「自己分裂でないが予測し易い」ということは本当である」ということは誤りである fact13: その地平は気持ち良くない fact14: もし仮にこの投資促進効果が逞しくないとすればそれは買い上げるということはないしかつ自己分裂だ fact15: もしもあの一段階新相が気持ち良くないがしかし要求項目だとしたらその安定確保は予測し易くない fact16: 仮になにかは予測し易いということはないなら「要求項目でないしさらにそれは逞しい」ということは成り立つということはない fact17: 「この投資促進効果が買い上げるしその上それは自己分裂だ」ということは嘘だ fact18: 仮にあの志願は気難しいとすれば「この投資促進効果は買い上げるしさらに自己分裂だ」ということは成り立たない fact19: 仮に「あの一段階新相は自己分裂でないけれど逞しい」ということは偽であるならこの投資促進効果は買い上げない fact20: もしもあの志願が気難しいならこの投資促進効果は買い上げないけれど自己分裂だ ; $hypothesis$ = もしもあの志願は気難しいとしたら「この投資促進効果は買い上げないけれど自己分裂である」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの一段階新相は気持ち良くないがしかし要求項目である; fact15 & assump1 -> int1: その安定確保は予測し易くない; int1 & fact7 -> int2: あの志願は気難しくない; void -> assump2: 以下のように仮定する。あの志願は気難しい; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの一段階新相は気持ち良くないけど要求項目だ」ということは嘘である; int4 & fact9 -> int5: この投資促進効果は逞しくない; fact11 -> int6: 「この投資促進効果は逞しいということはないなら「この投資促進効果は買い上げるということはない一方で自己分裂だ」ということは嘘だ」ということは成り立つ; int5 & int6 -> int7: 「この投資促進効果は買い上げないけれど自己分裂だ」ということは間違いである; [assump2] & int7 -> hypothesis; __PROVED__
事実1: 逞しくないものは買い上げないけれど自己分裂だ
事実2: 「あの一段階新相は気持ち良いしそれは要求項目である」ということは成り立たない
事実3: あの一段階新相は気持ち良くない
事実4: この投資促進効果は予測し易くない一方で自己分裂だ
事実5: その安定確保は気持ち良くない
事実6: あの一段階新相は逞しい
事実7: 仮にその安定確保が予測し易いということはないならあの志願は気難しくない
事実8: あの一段階新相が気持ち良くてそれが要求項目であるとしたらその安定確保は予測し易くない
事実9: もし仮に「あの一段階新相は気持ち良くないがしかしそれは要求項目である」ということは間違いであるとするとこの投資促進効果は逞しいということはない
事実10: もし仮にこの投資促進効果は逞しくないとすれば「買い上げるし自己分裂である」ということは間違いである
事実11: もしもとあるものは逞しくないとしたら「買い上げないしおまけに自己分裂である」ということは誤っている
事実12: もしもその安定確保は気難しくないとすれば「「自己分裂でないが予測し易い」ということは本当である」ということは誤りである
事実13: その地平は気持ち良くない
事実14: もし仮にこの投資促進効果が逞しくないとすればそれは買い上げるということはないしかつ自己分裂だ
事実15: もしもあの一段階新相が気持ち良くないがしかし要求項目だとしたらその安定確保は予測し易くない
事実16: 仮になにかは予測し易いということはないなら「要求項目でないしさらにそれは逞しい」ということは成り立つということはない
事実17: 「この投資促進効果が買い上げるしその上それは自己分裂だ」ということは嘘だ
事実18: 仮にあの志願は気難しいとすれば「この投資促進効果は買い上げるしさらに自己分裂だ」ということは成り立たない
事実19: 仮に「あの一段階新相は自己分裂でないけれど逞しい」ということは偽であるならこの投資促進効果は買い上げない
事実20: もしもあの志願が気難しいならこの投資促進効果は買い上げないけれど自己分裂だ

仮説: もしもあの志願は気難しいとしたら「この投資促進効果は買い上げないけれど自己分裂である」ということは偽だ
1. 仮定1: 以下のように仮定する。あの一段階新相は気持ち良くないがしかし要求項目である
2. 事実15と仮定1から、推論1: "その安定確保は予測し易くない"が導かれる
3. 推論1と事実7から、推論2: "あの志願は気難しくない"が導かれる
4. 仮定2: 以下のように仮定する。あの志願は気難しい
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "「あの一段階新相は気持ち良くないけど要求項目だ」ということは嘘である"が導かれる
7. 推論4と事実9から、推論5: "この投資促進効果は逞しくない"が導かれる
8. 事実11から、推論6: "「この投資促進効果は逞しいということはないなら「この投資促進効果は買い上げるということはない一方で自己分裂だ」ということは嘘だ」ということは成り立つ"が導かれる
9. 推論5と推論6から、推論7: "「この投資促進効果は買い上げないけれど自己分裂だ」ということは間違いである"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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