あのオープンプランニングは化粧っ気でない
fact1: もしもあるものが割らないならばあのオープンプランニングは化粧っ気でない fact2: 「仮にその二十六軒は際限無いとしたら「あのオープンプランニングは呼び立てないしその上播種しない」ということは成り立たない」ということは事実である fact3: もし「なにかは地帯でないがそれは化粧っ気だ」ということは正しくないとすればそれは対側であるということはない fact4: もしある物は近代企業だとすると「「それは地帯でないがしかし化粧っ気である」ということは成り立つ」ということは間違いである fact5: この行政書士は受診しない fact6: もし仮にあのオープンプランニングは対側でないなら「そのクルド系は化粧っ気でない一方で割る」ということは間違いである fact7: この行政書士は法形式でないとすると「この四号店は際限無くなくてまた迷い易くない」ということは偽だ fact8: もしも「「呼び立てないし播種しない」ということは成り立たない」ものがあるとすればそのクルド系は近代企業である fact9: もし「あの東ドイツマルクは対側であるということはないし近代企業でない」ということは成り立たないならあのオープンプランニングは対側でない fact10: もし「「際限無くないものであり迷い易いということはない」ということは本当でない」ものはあるとすると「その二十六軒は際限無い」ということは成り立つ fact11: 「「ＨＣＶ遺伝子でないしおまけに対側だ」ということは誤りな」物はある fact12: あの東ドイツマルクは対側でないとすれば「そのクルド系はＨＣＶ遺伝子でない一方でそれは割る」ということは成り立たない fact13: 「とある物は読了するしそれに法形式である」ということは真実でないとすると「法形式でない」ということは成り立つ fact14: あの東ドイツマルクは対側でない fact15: もし「「ＨＣＶ遺伝子でなくて割る」ということは誤りな」ものがあるならあのオープンプランニングは化粧っ気でない fact16: 「「ＨＣＶ遺伝子であるしそれに割る」ということは間違いである」物はある fact17: 仮にとあるものは受診しないならば「それは読了するしそれに法形式である」ということは事実でない fact18: なにがしかの物はＨＣＶ遺伝子だということはないが割る fact19: 仮に「そのクルド系は対側でない」ということは成り立つとすれば「あの東ドイツマルクは地下深くないけどそれは就業禁止だ」ということは事実と異なる
fact12 & fact14 -> int1: 「そのクルド系はＨＣＶ遺伝子でないけど割る」ということは嘘である; int1 -> int2: 「「ＨＣＶ遺伝子でなくて加えて割る」ということは偽な」ものはある; int2 & fact15 -> hypothesis;
fact12 & fact14 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 -> int2: (Ex): ¬(¬{AA}x & {AB}x); int2 & fact15 -> hypothesis;
あのオープンプランニングは化粧っ気だ
$facts$ = fact1: もしもあるものが割らないならばあのオープンプランニングは化粧っ気でない fact2: 「仮にその二十六軒は際限無いとしたら「あのオープンプランニングは呼び立てないしその上播種しない」ということは成り立たない」ということは事実である fact3: もし「なにかは地帯でないがそれは化粧っ気だ」ということは正しくないとすればそれは対側であるということはない fact4: もしある物は近代企業だとすると「「それは地帯でないがしかし化粧っ気である」ということは成り立つ」ということは間違いである fact5: この行政書士は受診しない fact6: もし仮にあのオープンプランニングは対側でないなら「そのクルド系は化粧っ気でない一方で割る」ということは間違いである fact7: この行政書士は法形式でないとすると「この四号店は際限無くなくてまた迷い易くない」ということは偽だ fact8: もしも「「呼び立てないし播種しない」ということは成り立たない」ものがあるとすればそのクルド系は近代企業である fact9: もし「あの東ドイツマルクは対側であるということはないし近代企業でない」ということは成り立たないならあのオープンプランニングは対側でない fact10: もし「「際限無くないものであり迷い易いということはない」ということは本当でない」ものはあるとすると「その二十六軒は際限無い」ということは成り立つ fact11: 「「ＨＣＶ遺伝子でないしおまけに対側だ」ということは誤りな」物はある fact12: あの東ドイツマルクは対側でないとすれば「そのクルド系はＨＣＶ遺伝子でない一方でそれは割る」ということは成り立たない fact13: 「とある物は読了するしそれに法形式である」ということは真実でないとすると「法形式でない」ということは成り立つ fact14: あの東ドイツマルクは対側でない fact15: もし「「ＨＣＶ遺伝子でなくて割る」ということは誤りな」ものがあるならあのオープンプランニングは化粧っ気でない fact16: 「「ＨＣＶ遺伝子であるしそれに割る」ということは間違いである」物はある fact17: 仮にとあるものは受診しないならば「それは読了するしそれに法形式である」ということは事実でない fact18: なにがしかの物はＨＣＶ遺伝子だということはないが割る fact19: 仮に「そのクルド系は対側でない」ということは成り立つとすれば「あの東ドイツマルクは地下深くないけどそれは就業禁止だ」ということは事実と異なる ; $hypothesis$ = あのオープンプランニングは化粧っ気でない ; $proof$ = 
fact12 & fact14 -> int1: 「そのクルド系はＨＣＶ遺伝子でないけど割る」ということは嘘である; int1 -> int2: 「「ＨＣＶ遺伝子でなくて加えて割る」ということは偽な」ものはある; int2 & fact15 -> hypothesis; __PROVED__
事実1: もしもあるものが割らないならばあのオープンプランニングは化粧っ気でない
事実2: 「仮にその二十六軒は際限無いとしたら「あのオープンプランニングは呼び立てないしその上播種しない」ということは成り立たない」ということは事実である
事実3: もし「なにかは地帯でないがそれは化粧っ気だ」ということは正しくないとすればそれは対側であるということはない
事実4: もしある物は近代企業だとすると「「それは地帯でないがしかし化粧っ気である」ということは成り立つ」ということは間違いである
事実5: この行政書士は受診しない
事実6: もし仮にあのオープンプランニングは対側でないなら「そのクルド系は化粧っ気でない一方で割る」ということは間違いである
事実7: この行政書士は法形式でないとすると「この四号店は際限無くなくてまた迷い易くない」ということは偽だ
事実8: もしも「「呼び立てないし播種しない」ということは成り立たない」ものがあるとすればそのクルド系は近代企業である
事実9: もし「あの東ドイツマルクは対側であるということはないし近代企業でない」ということは成り立たないならあのオープンプランニングは対側でない
事実10: もし「「際限無くないものであり迷い易いということはない」ということは本当でない」ものはあるとすると「その二十六軒は際限無い」ということは成り立つ
事実11: 「「ＨＣＶ遺伝子でないしおまけに対側だ」ということは誤りな」物はある
事実12: あの東ドイツマルクは対側でないとすれば「そのクルド系はＨＣＶ遺伝子でない一方でそれは割る」ということは成り立たない
事実13: 「とある物は読了するしそれに法形式である」ということは真実でないとすると「法形式でない」ということは成り立つ
事実14: あの東ドイツマルクは対側でない
事実15: もし「「ＨＣＶ遺伝子でなくて割る」ということは誤りな」ものがあるならあのオープンプランニングは化粧っ気でない
事実16: 「「ＨＣＶ遺伝子であるしそれに割る」ということは間違いである」物はある
事実17: 仮にとあるものは受診しないならば「それは読了するしそれに法形式である」ということは事実でない
事実18: なにがしかの物はＨＣＶ遺伝子だということはないが割る
事実19: 仮に「そのクルド系は対側でない」ということは成り立つとすれば「あの東ドイツマルクは地下深くないけどそれは就業禁止だ」ということは事実と異なる

仮説: あのオープンプランニングは化粧っ気でない
1. 事実12と事実14から、推論1: "「そのクルド系はＨＣＶ遺伝子でないけど割る」ということは嘘である"が導かれる
2. 推論1から、推論2: "「「ＨＣＶ遺伝子でなくて加えて割る」ということは偽な」ものはある"が導かれる
3. 推論2と事実15から、仮説が導かれる

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