あのウンマは色好くない
fact1: このリップクリームは素晴らしくない fact2: そのベーコンスープは銘ずる fact3: あのウンマが銘ずればそれは低収入である fact4: このリップクリームは優勝出来るとすれば「掛け離れるということはないし更にぽっと出でない」ということは成り立たない fact5: 何らかの物が切り裂くということはないかあるいはそれは低収入でないかあるいは両方であるならば色好い fact6: 素晴らしくない物は切り裂かないか低収入でないか両方ともだ fact7: 仮にあるものが銘ぜないとすれば周回しなくてそれに素晴らしい fact8: もし「このリップクリームは銘ずるかまたは二泊しない」ということは成り立たないとすればあの集合的無意識は銘ぜない fact9: もし仮にある物は周回すれば「低収入でない」ということは正しい fact10: なにがしかのものが周回するとしたらあの集合的無意識は素晴らしいということはない fact11: もし仮に「何らかの物は生え易くないがしかし招聘する」ということは間違いであるとすると切り裂かない fact12: あの集合的無意識が周回するということはないけど素晴らしいならあのウンマは素晴らしくない fact13: 仮にあのウンマは色好いなら「生え易いしそれにそれは招聘する」ということは成り立つということはない fact14: このリップクリームは夫婦らしい fact15: このリップクリームは夫婦らしいしさらに周回する fact16: とあるものは夫婦らしいということはないとしたら「それは銘ずるか二泊するということはないかまたは両方である」ということは成り立たない fact17: あのウンマは銘ずる fact18: 「「あのウンマは生え易いししかもそれは招聘する」ということは本当でない」ということは成り立つ fact19: もし何らかの物は色好いなら「生え易くないけど招聘する」ということは確かでない fact20: 仮に「あのウンマは切り裂かないけれどそれは低収入だ」ということは事実であるならあの集合的無意識は素晴らしい fact21: もし「何らかの物が掛け離れないしさらにぽっと出でない」ということは成り立たないとしたら夫婦らしくない
fact19 -> int1: あのウンマは色好いとしたら「「生え易くないしそれは招聘する」ということは真実である」ということは成り立たない; void -> assump1: 以下のように仮定する。あのウンマは色好い; int1 & assump1 -> int2: 「あのウンマは生え易くないがしかしそれは招聘する」ということは事実と異なる; fact11 -> int3: 仮に「あのウンマは生え易いということはないがしかし招聘する」ということは成り立たないなら切り裂かない; int2 & int3 -> int4: あのウンマは切り裂かない; fact3 & fact17 -> int5: あのウンマは低収入である; int4 & int5 -> int6: あのウンマは切り裂かないけれどそれは低収入である; int6 & fact20 -> int7: あの集合的無意識は素晴らしい; fact15 -> int8: 「このリップクリームは周回する」ということは正しい; int8 -> int9: 「周回する」ものはある; int9 & fact10 -> int10: あの集合的無意識は素晴らしくない; int7 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis;
あのウンマは色好い
fact27 -> int12: 仮にあのウンマが切り裂くということはないかまたは低収入でないとしたら「それは色好い」ということは事実である; fact28 -> int13: あのウンマが素晴らしくないならそれは切り裂かないかまたは低収入でないかあるいは両方である; fact23 -> int14: もし仮にあの集合的無意識は銘ぜないとすると「それは周回しなくてそれは素晴らしい」ということは嘘でない; fact24 -> int15: このリップクリームは夫婦らしくないとしたら「それは銘ずるかもしくはそれは二泊するということはない」ということは嘘である; fact29 -> int16: 「仮に「このリップクリームは掛け離れるということはないしまたぽっと出でない」ということは本当でないとすればあのリップクリームは夫婦らしくない」ということは成り立つ;
$facts$ = fact1: このリップクリームは素晴らしくない fact2: そのベーコンスープは銘ずる fact3: あのウンマが銘ずればそれは低収入である fact4: このリップクリームは優勝出来るとすれば「掛け離れるということはないし更にぽっと出でない」ということは成り立たない fact5: 何らかの物が切り裂くということはないかあるいはそれは低収入でないかあるいは両方であるならば色好い fact6: 素晴らしくない物は切り裂かないか低収入でないか両方ともだ fact7: 仮にあるものが銘ぜないとすれば周回しなくてそれに素晴らしい fact8: もし「このリップクリームは銘ずるかまたは二泊しない」ということは成り立たないとすればあの集合的無意識は銘ぜない fact9: もし仮にある物は周回すれば「低収入でない」ということは正しい fact10: なにがしかのものが周回するとしたらあの集合的無意識は素晴らしいということはない fact11: もし仮に「何らかの物は生え易くないがしかし招聘する」ということは間違いであるとすると切り裂かない fact12: あの集合的無意識が周回するということはないけど素晴らしいならあのウンマは素晴らしくない fact13: 仮にあのウンマは色好いなら「生え易いしそれにそれは招聘する」ということは成り立つということはない fact14: このリップクリームは夫婦らしい fact15: このリップクリームは夫婦らしいしさらに周回する fact16: とあるものは夫婦らしいということはないとしたら「それは銘ずるか二泊するということはないかまたは両方である」ということは成り立たない fact17: あのウンマは銘ずる fact18: 「「あのウンマは生え易いししかもそれは招聘する」ということは本当でない」ということは成り立つ fact19: もし何らかの物は色好いなら「生え易くないけど招聘する」ということは確かでない fact20: 仮に「あのウンマは切り裂かないけれどそれは低収入だ」ということは事実であるならあの集合的無意識は素晴らしい fact21: もし「何らかの物が掛け離れないしさらにぽっと出でない」ということは成り立たないとしたら夫婦らしくない ; $hypothesis$ = あのウンマは色好くない ; $proof$ = 
fact19 -> int1: あのウンマは色好いとしたら「「生え易くないしそれは招聘する」ということは真実である」ということは成り立たない; void -> assump1: 以下のように仮定する。あのウンマは色好い; int1 & assump1 -> int2: 「あのウンマは生え易くないがしかしそれは招聘する」ということは事実と異なる; fact11 -> int3: 仮に「あのウンマは生え易いということはないがしかし招聘する」ということは成り立たないなら切り裂かない; int2 & int3 -> int4: あのウンマは切り裂かない; fact3 & fact17 -> int5: あのウンマは低収入である; int4 & int5 -> int6: あのウンマは切り裂かないけれどそれは低収入である; int6 & fact20 -> int7: あの集合的無意識は素晴らしい; fact15 -> int8: 「このリップクリームは周回する」ということは正しい; int8 -> int9: 「周回する」ものはある; int9 & fact10 -> int10: あの集合的無意識は素晴らしくない; int7 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis; __PROVED__
事実1: このリップクリームは素晴らしくない
事実2: そのベーコンスープは銘ずる
事実3: あのウンマが銘ずればそれは低収入である
事実4: このリップクリームは優勝出来るとすれば「掛け離れるということはないし更にぽっと出でない」ということは成り立たない
事実5: 何らかの物が切り裂くということはないかあるいはそれは低収入でないかあるいは両方であるならば色好い
事実6: 素晴らしくない物は切り裂かないか低収入でないか両方ともだ
事実7: 仮にあるものが銘ぜないとすれば周回しなくてそれに素晴らしい
事実8: もし「このリップクリームは銘ずるかまたは二泊しない」ということは成り立たないとすればあの集合的無意識は銘ぜない
事実9: もし仮にある物は周回すれば「低収入でない」ということは正しい
事実10: なにがしかのものが周回するとしたらあの集合的無意識は素晴らしいということはない
事実11: もし仮に「何らかの物は生え易くないがしかし招聘する」ということは間違いであるとすると切り裂かない
事実12: あの集合的無意識が周回するということはないけど素晴らしいならあのウンマは素晴らしくない
事実13: 仮にあのウンマは色好いなら「生え易いしそれにそれは招聘する」ということは成り立つということはない
事実14: このリップクリームは夫婦らしい
事実15: このリップクリームは夫婦らしいしさらに周回する
事実16: とあるものは夫婦らしいということはないとしたら「それは銘ずるか二泊するということはないかまたは両方である」ということは成り立たない
事実17: あのウンマは銘ずる
事実18: 「「あのウンマは生え易いししかもそれは招聘する」ということは本当でない」ということは成り立つ
事実19: もし何らかの物は色好いなら「生え易くないけど招聘する」ということは確かでない
事実20: 仮に「あのウンマは切り裂かないけれどそれは低収入だ」ということは事実であるならあの集合的無意識は素晴らしい
事実21: もし「何らかの物が掛け離れないしさらにぽっと出でない」ということは成り立たないとしたら夫婦らしくない

仮説: あのウンマは色好くない
1. 事実19から、推論1: "あのウンマは色好いとしたら「「生え易くないしそれは招聘する」ということは真実である」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。あのウンマは色好い
3. 推論1と仮定1から、推論2: "「あのウンマは生え易くないがしかしそれは招聘する」ということは事実と異なる"が導かれる
4. 事実11から、推論3: "仮に「あのウンマは生え易いということはないがしかし招聘する」ということは成り立たないなら切り裂かない"が導かれる
5. 推論2と推論3から、推論4: "あのウンマは切り裂かない"が導かれる
6. 事実3と事実17から、推論5: "あのウンマは低収入である"が導かれる
7. 推論4と推論5から、推論6: "あのウンマは切り裂かないけれどそれは低収入である"が導かれる
8. 推論6と事実20から、推論7: "あの集合的無意識は素晴らしい"が導かれる
9. 事実15から、推論8: "「このリップクリームは周回する」ということは正しい"が導かれる
10. 推論8から、推論9: "「周回する」ものはある"が導かれる
11. 推論9と事実10から、推論10: "あの集合的無意識は素晴らしくない"が導かれる
12. 推論7と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、仮説が導かれる

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