あの特徴がクレームしないしさらに進歩しない
fact1: もしもなんらかの物が外交関係でないかまたはそれは芳しいかもしくは両方だとしたらそれは芳しい fact2: あの特徴は若くない fact3: もし仮に「あの荒久遺跡は大人しいしその上生成し易い」ということは誤りだとするとそれは生成し易くない fact4: 芳しい物は驚く fact5: もしも「あのホワイは生成し易くない」ということは事実だとしたら「あの特徴はクレームしなくてまたそれは進歩しない」ということは成り立たない fact6: 「あの荒久遺跡は大人しくておまけに生成し易い」ということは成り立たない fact7: もし仮にあの荒久遺跡が甚だしくないしその上それは自己免疫性溶血性貧血でないなら「それは思い出せる」ということは確かである fact8: 仮に何かは思い出せるなら外交関係でないかあるいは芳しい fact9: 「あのホワイは堅苦しい」ということは事実だ fact10: 「そのＰＢＴは生成し易くない」ということは本当である fact11: もし「あのホワイはクレームするしおまけに進歩する」ということは成り立たないならば進歩しない fact12: 仮にあのホワイがクレームするとしたらあの荒久遺跡は生成し易い fact13: 仮になんらかの物は驚くとすれば「それはフロイト自身でないか大人しいかもしくは両方だ」ということは成り立たない fact14: あの特徴は進歩しない fact15: もし仮にあの荒久遺跡が御戻らないとしたらそれは甚だしくないし自己免疫性溶血性貧血であるということはない fact16: この政治主体は進歩する fact17: 「あの特徴は空中庭園でかつクレームする」ということは偽だ fact18: もしもあのホワイがクレームするということはないとすればあの特徴はクレームしないししかもそれは進歩しない fact19: あのホワイは進歩しない fact20: あのホワイがクレームしないとしたらあの特徴は進歩しない fact21: あの特徴は還付すらないしおまけに都道府県レベルでない
void -> assump1: 以下のように仮定する。あのホワイはクレームする; fact12 & assump1 -> int1: あの荒久遺跡は生成し易い; fact3 & fact6 -> int2: あの荒久遺跡は生成し易いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのホワイはクレームしない; int4 & fact18 -> hypothesis;
「あの特徴はクレームするということはないしまたそれは進歩しない」ということは間違っている
fact23 -> int5: もし仮にあの荒久遺跡は驚くとすれば「それはフロイト自身でないか大人しい」ということは事実と異なる; fact28 -> int6: もしあの荒久遺跡が芳しいとしたらそれは驚く; fact25 -> int7: あの荒久遺跡が外交関係でないか芳しいかまたは両方なら芳しい; fact27 -> int8: もし仮にあの荒久遺跡が思い出せるとすれば外交関係でないかもしくは芳しいかあるいは両方ともだ;
$facts$ = fact1: もしもなんらかの物が外交関係でないかまたはそれは芳しいかもしくは両方だとしたらそれは芳しい fact2: あの特徴は若くない fact3: もし仮に「あの荒久遺跡は大人しいしその上生成し易い」ということは誤りだとするとそれは生成し易くない fact4: 芳しい物は驚く fact5: もしも「あのホワイは生成し易くない」ということは事実だとしたら「あの特徴はクレームしなくてまたそれは進歩しない」ということは成り立たない fact6: 「あの荒久遺跡は大人しくておまけに生成し易い」ということは成り立たない fact7: もし仮にあの荒久遺跡が甚だしくないしその上それは自己免疫性溶血性貧血でないなら「それは思い出せる」ということは確かである fact8: 仮に何かは思い出せるなら外交関係でないかあるいは芳しい fact9: 「あのホワイは堅苦しい」ということは事実だ fact10: 「そのＰＢＴは生成し易くない」ということは本当である fact11: もし「あのホワイはクレームするしおまけに進歩する」ということは成り立たないならば進歩しない fact12: 仮にあのホワイがクレームするとしたらあの荒久遺跡は生成し易い fact13: 仮になんらかの物は驚くとすれば「それはフロイト自身でないか大人しいかもしくは両方だ」ということは成り立たない fact14: あの特徴は進歩しない fact15: もし仮にあの荒久遺跡が御戻らないとしたらそれは甚だしくないし自己免疫性溶血性貧血であるということはない fact16: この政治主体は進歩する fact17: 「あの特徴は空中庭園でかつクレームする」ということは偽だ fact18: もしもあのホワイがクレームするということはないとすればあの特徴はクレームしないししかもそれは進歩しない fact19: あのホワイは進歩しない fact20: あのホワイがクレームしないとしたらあの特徴は進歩しない fact21: あの特徴は還付すらないしおまけに都道府県レベルでない ; $hypothesis$ = あの特徴がクレームしないしさらに進歩しない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのホワイはクレームする; fact12 & assump1 -> int1: あの荒久遺跡は生成し易い; fact3 & fact6 -> int2: あの荒久遺跡は生成し易いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのホワイはクレームしない; int4 & fact18 -> hypothesis; __PROVED__
事実1: もしもなんらかの物が外交関係でないかまたはそれは芳しいかもしくは両方だとしたらそれは芳しい
事実2: あの特徴は若くない
事実3: もし仮に「あの荒久遺跡は大人しいしその上生成し易い」ということは誤りだとするとそれは生成し易くない
事実4: 芳しい物は驚く
事実5: もしも「あのホワイは生成し易くない」ということは事実だとしたら「あの特徴はクレームしなくてまたそれは進歩しない」ということは成り立たない
事実6: 「あの荒久遺跡は大人しくておまけに生成し易い」ということは成り立たない
事実7: もし仮にあの荒久遺跡が甚だしくないしその上それは自己免疫性溶血性貧血でないなら「それは思い出せる」ということは確かである
事実8: 仮に何かは思い出せるなら外交関係でないかあるいは芳しい
事実9: 「あのホワイは堅苦しい」ということは事実だ
事実10: 「そのＰＢＴは生成し易くない」ということは本当である
事実11: もし「あのホワイはクレームするしおまけに進歩する」ということは成り立たないならば進歩しない
事実12: 仮にあのホワイがクレームするとしたらあの荒久遺跡は生成し易い
事実13: 仮になんらかの物は驚くとすれば「それはフロイト自身でないか大人しいかもしくは両方だ」ということは成り立たない
事実14: あの特徴は進歩しない
事実15: もし仮にあの荒久遺跡が御戻らないとしたらそれは甚だしくないし自己免疫性溶血性貧血であるということはない
事実16: この政治主体は進歩する
事実17: 「あの特徴は空中庭園でかつクレームする」ということは偽だ
事実18: もしもあのホワイがクレームするということはないとすればあの特徴はクレームしないししかもそれは進歩しない
事実19: あのホワイは進歩しない
事実20: あのホワイがクレームしないとしたらあの特徴は進歩しない
事実21: あの特徴は還付すらないしおまけに都道府県レベルでない

仮説: あの特徴がクレームしないしさらに進歩しない
1. 仮定1: 以下のように仮定する。あのホワイはクレームする
2. 事実12と仮定1から、推論1: "あの荒久遺跡は生成し易い"が導かれる
3. 事実3と事実6から、推論2: "あの荒久遺跡は生成し易いということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのホワイはクレームしない"が導かれる
6. 推論4と事実18から、仮説が導かれる

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