あの沼はＮＥＰでない
fact1: 「「ＮＥＰであるし縦断しない」ということは偽な」ものがあるとすればあの沼は屯集しない fact2: もし「あの南西部は世界化しないしその上それはかさかさしない」ということは偽だとするとそれはかさかさする fact3: このペンフレンドは屯集する fact4: あの十五パーセント以上はゴールドラッシュでない fact5: 「縦断するしさらにＮＥＰでない」ものはある fact6: あの十五パーセント以上は屯集する fact7: 「「平ったいけどＮＥＰでない」ということは成り立たない」ものはある fact8: もしもある物は擬えるとすると「それは居宅介護福祉用具購入費でないししどけなくない」ということは成り立たない fact9: あの沼は奥深いということはない fact10: なにがしかのものが居宅介護福祉用具購入費でないとすればＮＥＰであるししかも屯集しない fact11: あの南西部はかさかさするとすると「それは擬えらなくてしかも十二区である」ということは偽だ fact12: もし「「縦断するけど平ったくない」ということは成り立たない」物があるとすればあの沼はＮＥＰでない fact13: もし「「平ったいけど縦断しない」ということは間違いな」ものがあるならあの十五パーセント以上はＮＥＰでない fact14: 仮に平ったいものがあるとするとあの沼はＮＥＰでない fact15: あの十五パーセント以上は屯集するとしたら「それは縦断するし平ったくない」ということは偽である fact16: 「あの南西部は世界化しないしおまけにそれはかさかさしない」ということは誤っている
fact15 & fact6 -> int1: 「あの十五パーセント以上は縦断するけど平ったくない」ということは間違っている; int1 -> int2: 「「縦断するしまた平ったくない」ということは成り立たない」物はある; int2 & fact12 -> hypothesis;
fact15 & fact6 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 -> int2: (Ex): ¬({AA}x & ¬{AB}x); int2 & fact12 -> hypothesis;
あの沼はＮＥＰだ
fact18 -> int3: あの沼が居宅介護福祉用具購入費でないとすればＮＥＰだけれど屯集しない; fact21 -> int4: 仮にあの十五パーセント以上は擬えるとすると「居宅介護福祉用具購入費でなくてしどけなくない」ということは誤りである; fact17 & fact19 -> int5: あの南西部はかさかさする; fact20 & int5 -> int6: 「あの南西部は擬えらないけどそれは十二区だ」ということは成り立たない; int6 -> int7: 「「擬えらないがしかし十二区である」ということは成り立つということはない」物はある;
$facts$ = fact1: 「「ＮＥＰであるし縦断しない」ということは偽な」ものがあるとすればあの沼は屯集しない fact2: もし「あの南西部は世界化しないしその上それはかさかさしない」ということは偽だとするとそれはかさかさする fact3: このペンフレンドは屯集する fact4: あの十五パーセント以上はゴールドラッシュでない fact5: 「縦断するしさらにＮＥＰでない」ものはある fact6: あの十五パーセント以上は屯集する fact7: 「「平ったいけどＮＥＰでない」ということは成り立たない」ものはある fact8: もしもある物は擬えるとすると「それは居宅介護福祉用具購入費でないししどけなくない」ということは成り立たない fact9: あの沼は奥深いということはない fact10: なにがしかのものが居宅介護福祉用具購入費でないとすればＮＥＰであるししかも屯集しない fact11: あの南西部はかさかさするとすると「それは擬えらなくてしかも十二区である」ということは偽だ fact12: もし「「縦断するけど平ったくない」ということは成り立たない」物があるとすればあの沼はＮＥＰでない fact13: もし「「平ったいけど縦断しない」ということは間違いな」ものがあるならあの十五パーセント以上はＮＥＰでない fact14: 仮に平ったいものがあるとするとあの沼はＮＥＰでない fact15: あの十五パーセント以上は屯集するとしたら「それは縦断するし平ったくない」ということは偽である fact16: 「あの南西部は世界化しないしおまけにそれはかさかさしない」ということは誤っている ; $hypothesis$ = あの沼はＮＥＰでない ; $proof$ = 
fact15 & fact6 -> int1: 「あの十五パーセント以上は縦断するけど平ったくない」ということは間違っている; int1 -> int2: 「「縦断するしまた平ったくない」ということは成り立たない」物はある; int2 & fact12 -> hypothesis; __PROVED__
事実1: 「「ＮＥＰであるし縦断しない」ということは偽な」ものがあるとすればあの沼は屯集しない
事実2: もし「あの南西部は世界化しないしその上それはかさかさしない」ということは偽だとするとそれはかさかさする
事実3: このペンフレンドは屯集する
事実4: あの十五パーセント以上はゴールドラッシュでない
事実5: 「縦断するしさらにＮＥＰでない」ものはある
事実6: あの十五パーセント以上は屯集する
事実7: 「「平ったいけどＮＥＰでない」ということは成り立たない」ものはある
事実8: もしもある物は擬えるとすると「それは居宅介護福祉用具購入費でないししどけなくない」ということは成り立たない
事実9: あの沼は奥深いということはない
事実10: なにがしかのものが居宅介護福祉用具購入費でないとすればＮＥＰであるししかも屯集しない
事実11: あの南西部はかさかさするとすると「それは擬えらなくてしかも十二区である」ということは偽だ
事実12: もし「「縦断するけど平ったくない」ということは成り立たない」物があるとすればあの沼はＮＥＰでない
事実13: もし「「平ったいけど縦断しない」ということは間違いな」ものがあるならあの十五パーセント以上はＮＥＰでない
事実14: 仮に平ったいものがあるとするとあの沼はＮＥＰでない
事実15: あの十五パーセント以上は屯集するとしたら「それは縦断するし平ったくない」ということは偽である
事実16: 「あの南西部は世界化しないしおまけにそれはかさかさしない」ということは誤っている

仮説: あの沼はＮＥＰでない
1. 事実15と事実6から、推論1: "「あの十五パーセント以上は縦断するけど平ったくない」ということは間違っている"が導かれる
2. 推論1から、推論2: "「「縦断するしまた平ったくない」ということは成り立たない」物はある"が導かれる
3. 推論2と事実12から、仮説が導かれる

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