「この第三共和政は地上気圧でないかあるいはそれは大鬱病でない」ということは成り立たない
fact1: この第三共和政は地上気圧でないかそれは大鬱病であるか両方ともだ fact2: あの韓国系は薄青くないかあるいはそれは地上気圧である fact3: あの韓国系は薄青くない fact4: この第三共和政は薄青くないか地上気圧であるかもしくは両方ともだ fact5: この第三共和政が薄青くないとしたらあの韓国系は大鬱病であるかもしくは地上気圧でないか両方ともだ fact6: 何らかのものは薄青いとすると「地上気圧であるということはないかもしくはそれは大鬱病でないかあるいは両方ともだ」ということは成り立たない fact7: もし仮に「そのシャンパンはテディーベアーでない」ということは正しいならばあの韓国系は捨て難いし小煩い fact8: この第三共和政は地上気圧でないかまたはそれは薄青くない fact9: この第三共和政は地上気圧であるか大鬱病でないかもしくはどちらもである fact10: もしもあの韓国系が薄青くないとすればこの第三共和政は地上気圧でないかもしくは大鬱病であるかもしくは両方ともである fact11: この事業団は大鬱病でない fact12: もしもこの第三共和政が地上気圧でないならあの韓国系は薄青くないかあるいは大鬱病でないかあるいは両方ともである fact13: もしあの韓国系が大鬱病でないとするとこの第三共和政は地上気圧でないかまたはそれは薄青くない fact14: この第三共和政は薄青くないかもしくは大鬱病だということはないかもしくは両方ともだ fact15: 仮に「そのシャンパンは小煩いということはないがしかし捨て難い」ということは成り立たないならば「あの韓国系は薄青い」ということは成り立つ fact16: 仮に「あの韓国系は薄青くない」ということは成り立つとするとこの第三共和政は地上気圧であるか大鬱病でないか両方ともだ fact17: その御背は地上気圧でない fact18: あの韓国系が地上気圧でないならばこの第三共和政は薄青くないかあるいは大鬱病であるかもしくは両方ともだ fact19: もし仮にあの韓国系が薄青くないならこの第三共和政は地上気圧だということはないかあるいは大鬱病であるということはないかあるいは両方ともである fact20: もしこの第三共和政は薄青くないとすれば「あの韓国系は地上気圧だということはないか大鬱病であるかどちらもである」ということは誤っていない fact21: もし仮にあの韓国系は捨て難いとすれば「この第三共和政は薄青い」ということは本当である
fact19 & fact3 -> hypothesis;
fact19 & fact3 -> hypothesis;
「この第三共和政は地上気圧でないかそれは大鬱病でないかあるいはどちらもだ」ということは成り立たない
fact22 -> int1: 「仮にこの第三共和政は薄青いなら「この第三共和政は地上気圧でないか大鬱病でない」ということは誤りである」ということは成り立つ;
$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 & fact3 -> hypothesis; __DISPROVED__
事実1: この第三共和政は地上気圧でないかそれは大鬱病であるか両方ともだ
事実2: あの韓国系は薄青くないかあるいはそれは地上気圧である
事実3: あの韓国系は薄青くない
事実4: この第三共和政は薄青くないか地上気圧であるかもしくは両方ともだ
事実5: この第三共和政が薄青くないとしたらあの韓国系は大鬱病であるかもしくは地上気圧でないか両方ともだ
事実6: 何らかのものは薄青いとすると「地上気圧であるということはないかもしくはそれは大鬱病でないかあるいは両方ともだ」ということは成り立たない
事実7: もし仮に「そのシャンパンはテディーベアーでない」ということは正しいならばあの韓国系は捨て難いし小煩い
事実8: この第三共和政は地上気圧でないかまたはそれは薄青くない
事実9: この第三共和政は地上気圧であるか大鬱病でないかもしくはどちらもである
事実10: もしもあの韓国系が薄青くないとすればこの第三共和政は地上気圧でないかもしくは大鬱病であるかもしくは両方ともである
事実11: この事業団は大鬱病でない
事実12: もしもこの第三共和政が地上気圧でないならあの韓国系は薄青くないかあるいは大鬱病でないかあるいは両方ともである
事実13: もしあの韓国系が大鬱病でないとするとこの第三共和政は地上気圧でないかまたはそれは薄青くない
事実14: この第三共和政は薄青くないかもしくは大鬱病だということはないかもしくは両方ともだ
事実15: 仮に「そのシャンパンは小煩いということはないがしかし捨て難い」ということは成り立たないならば「あの韓国系は薄青い」ということは成り立つ
事実16: 仮に「あの韓国系は薄青くない」ということは成り立つとするとこの第三共和政は地上気圧であるか大鬱病でないか両方ともだ
事実17: その御背は地上気圧でない
事実18: あの韓国系が地上気圧でないならばこの第三共和政は薄青くないかあるいは大鬱病であるかもしくは両方ともだ
事実19: もし仮にあの韓国系が薄青くないならこの第三共和政は地上気圧だということはないかあるいは大鬱病であるということはないかあるいは両方ともである
事実20: もしこの第三共和政は薄青くないとすれば「あの韓国系は地上気圧だということはないか大鬱病であるかどちらもである」ということは誤っていない
事実21: もし仮にあの韓国系は捨て難いとすれば「この第三共和政は薄青い」ということは本当である

仮説: 「この第三共和政は地上気圧でないかあるいはそれは大鬱病でない」ということは成り立たない
1. 事実19と事実3から、仮説が否定される

よって、仮説が否定されました。