あの挿入位置はダウン症候群だ
fact1: なんらかのものはイージーブリッジでないがしかし未婚女性である fact2: もしも「ある物は吊り易くないかまたはそれは二十．四キログラムＭであるかまたは両方ともである」ということは嘘であるとすればダウン症候群である fact3: もし仮に「イージーブリッジな」物があればあの挿入位置はダウン症候群でない fact4: 「もし何かは吊り易いということはないとすると「ダウン症候群でないし更にそれは二十．四キログラムＭだ」ということは誤りだ」ということは真実だ fact5: 「その南政府軍はイージーブリッジで更に未婚女性だ」ということは嘘である fact6: この土地建物は二十．四キログラムＭである fact7: 「「イージーブリッジだということはないが未婚女性である」ということは成り立たない」物があるとすればあの挿入位置はダウン症候群でない fact8: もしも「その南政府軍はダウン症候群であるということはないけどそれは二十．四キログラムＭだ」ということは真実でないならばあの秘密警察はイージーブリッジでない fact9: この秘密警察は未婚女性だとしたら「あの挿入位置は二十．四キログラムＭでないがそれはダウン症候群である」ということは間違っている fact10: 「「ダウン症候群であるということはない一方で未婚女性だ」ということは誤っている」物はある fact11: もし仮に「この秘密警察はイージーブリッジであるということはない」ということは確かだとしたらあのネットワーク内部はイージーブリッジでない fact12: もし仮に「「ダウン症候群でないししかも未婚女性だ」ということは間違いな」物があるとすればその南政府軍はイージーブリッジでない fact13: 「「イージーブリッジだということはないし二十．四キログラムＭである」ということは成り立たない」物はある fact14: 「もし仮にこの秘密警察は二十．四キログラムＭであるなら「「その南政府軍はイージーブリッジでないけれど未婚女性だ」ということは誤りである」ということは成り立つ」ということは真実だ fact15: この秘密警察は二十．四キログラムＭだとしたら「その南政府軍はイージーブリッジだしさらに未婚女性である」ということは成り立たない fact16: もしも「とある物は服役する」ということは成り立てば「吊り易くないか二十．四キログラムＭであるか両方ともである」ということは成り立たない fact17: 「あの挿入位置は二十．四キログラムＭでない一方でダウン症候群である」ということは成り立たない fact18: 仮になにかは服役しない一方で信じ難いとしたら吊り易くない fact19: 「「イージーブリッジであるしその上未婚女性である」ということは間違いである」物はある fact20: この秘密警察は二十．四キログラムＭである fact21: 「この秘密警察はダウン症候群だということはないがそれは二十．四キログラムＭだ」ということは誤っている
fact14 & fact20 -> int1: 「その南政府軍はイージーブリッジでないけれど未婚女性である」ということは成り立たない; int1 -> int2: 「「イージーブリッジでなくてそれに未婚女性である」ということは成り立つということはない」物はある; int2 & fact7 -> hypothesis;
あのネットワーク内部はイージーブリッジでない
fact25 -> int3: 仮にその南政府軍は吊り易くないなら「ダウン症候群でないしさらにそれは二十．四キログラムＭだ」ということは事実でない; fact24 -> int4: その南政府軍は服役しない一方で信じ難いとするとそれは吊り易くない;
$facts$ = fact1: なんらかのものはイージーブリッジでないがしかし未婚女性である fact2: もしも「ある物は吊り易くないかまたはそれは二十．四キログラムＭであるかまたは両方ともである」ということは嘘であるとすればダウン症候群である fact3: もし仮に「イージーブリッジな」物があればあの挿入位置はダウン症候群でない fact4: 「もし何かは吊り易いということはないとすると「ダウン症候群でないし更にそれは二十．四キログラムＭだ」ということは誤りだ」ということは真実だ fact5: 「その南政府軍はイージーブリッジで更に未婚女性だ」ということは嘘である fact6: この土地建物は二十．四キログラムＭである fact7: 「「イージーブリッジだということはないが未婚女性である」ということは成り立たない」物があるとすればあの挿入位置はダウン症候群でない fact8: もしも「その南政府軍はダウン症候群であるということはないけどそれは二十．四キログラムＭだ」ということは真実でないならばあの秘密警察はイージーブリッジでない fact9: この秘密警察は未婚女性だとしたら「あの挿入位置は二十．四キログラムＭでないがそれはダウン症候群である」ということは間違っている fact10: 「「ダウン症候群であるということはない一方で未婚女性だ」ということは誤っている」物はある fact11: もし仮に「この秘密警察はイージーブリッジであるということはない」ということは確かだとしたらあのネットワーク内部はイージーブリッジでない fact12: もし仮に「「ダウン症候群でないししかも未婚女性だ」ということは間違いな」物があるとすればその南政府軍はイージーブリッジでない fact13: 「「イージーブリッジだということはないし二十．四キログラムＭである」ということは成り立たない」物はある fact14: 「もし仮にこの秘密警察は二十．四キログラムＭであるなら「「その南政府軍はイージーブリッジでないけれど未婚女性だ」ということは誤りである」ということは成り立つ」ということは真実だ fact15: この秘密警察は二十．四キログラムＭだとしたら「その南政府軍はイージーブリッジだしさらに未婚女性である」ということは成り立たない fact16: もしも「とある物は服役する」ということは成り立てば「吊り易くないか二十．四キログラムＭであるか両方ともである」ということは成り立たない fact17: 「あの挿入位置は二十．四キログラムＭでない一方でダウン症候群である」ということは成り立たない fact18: 仮になにかは服役しない一方で信じ難いとしたら吊り易くない fact19: 「「イージーブリッジであるしその上未婚女性である」ということは間違いである」物はある fact20: この秘密警察は二十．四キログラムＭである fact21: 「この秘密警察はダウン症候群だということはないがそれは二十．四キログラムＭだ」ということは誤っている ; $hypothesis$ = あの挿入位置はダウン症候群だ ; $proof$ = 
fact14 & fact20 -> int1: 「その南政府軍はイージーブリッジでないけれど未婚女性である」ということは成り立たない; int1 -> int2: 「「イージーブリッジでなくてそれに未婚女性である」ということは成り立つということはない」物はある; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: なんらかのものはイージーブリッジでないがしかし未婚女性である
事実2: もしも「ある物は吊り易くないかまたはそれは二十．四キログラムＭであるかまたは両方ともである」ということは嘘であるとすればダウン症候群である
事実3: もし仮に「イージーブリッジな」物があればあの挿入位置はダウン症候群でない
事実4: 「もし何かは吊り易いということはないとすると「ダウン症候群でないし更にそれは二十．四キログラムＭだ」ということは誤りだ」ということは真実だ
事実5: 「その南政府軍はイージーブリッジで更に未婚女性だ」ということは嘘である
事実6: この土地建物は二十．四キログラムＭである
事実7: 「「イージーブリッジだということはないが未婚女性である」ということは成り立たない」物があるとすればあの挿入位置はダウン症候群でない
事実8: もしも「その南政府軍はダウン症候群であるということはないけどそれは二十．四キログラムＭだ」ということは真実でないならばあの秘密警察はイージーブリッジでない
事実9: この秘密警察は未婚女性だとしたら「あの挿入位置は二十．四キログラムＭでないがそれはダウン症候群である」ということは間違っている
事実10: 「「ダウン症候群であるということはない一方で未婚女性だ」ということは誤っている」物はある
事実11: もし仮に「この秘密警察はイージーブリッジであるということはない」ということは確かだとしたらあのネットワーク内部はイージーブリッジでない
事実12: もし仮に「「ダウン症候群でないししかも未婚女性だ」ということは間違いな」物があるとすればその南政府軍はイージーブリッジでない
事実13: 「「イージーブリッジだということはないし二十．四キログラムＭである」ということは成り立たない」物はある
事実14: 「もし仮にこの秘密警察は二十．四キログラムＭであるなら「「その南政府軍はイージーブリッジでないけれど未婚女性だ」ということは誤りである」ということは成り立つ」ということは真実だ
事実15: この秘密警察は二十．四キログラムＭだとしたら「その南政府軍はイージーブリッジだしさらに未婚女性である」ということは成り立たない
事実16: もしも「とある物は服役する」ということは成り立てば「吊り易くないか二十．四キログラムＭであるか両方ともである」ということは成り立たない
事実17: 「あの挿入位置は二十．四キログラムＭでない一方でダウン症候群である」ということは成り立たない
事実18: 仮になにかは服役しない一方で信じ難いとしたら吊り易くない
事実19: 「「イージーブリッジであるしその上未婚女性である」ということは間違いである」物はある
事実20: この秘密警察は二十．四キログラムＭである
事実21: 「この秘密警察はダウン症候群だということはないがそれは二十．四キログラムＭだ」ということは誤っている

仮説: あの挿入位置はダウン症候群だ
1. 事実14と事実20から、推論1: "「その南政府軍はイージーブリッジでないけれど未婚女性である」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「イージーブリッジでなくてそれに未婚女性である」ということは成り立つということはない」物はある"が導かれる
3. 推論2と事実7から、仮説が否定される

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