その江戸市中は狭苦しい
fact1: 何かは留まらないとすればそれは懐っこいかもしくは訴え出ないかもしくは両方ともだ fact2: そのボンベイ・サファイアは零付近であるということはないなら「あの野良犬は留まらないかまたはそれはたくし上げるということはない」ということは間違っている fact3: もしその創業時代は燃え易いがしかし動力性でないとすると「その江戸市中は狭苦しい」ということは本当だ fact4: その江戸市中は動力性だということはない fact5: あの陰気さは懐っこいがそれは訴え出ない fact6: その創業時代は狭苦しくない fact7: もしもあるものが訴え出ないなら工作するし更に自己規定する fact8: もし「そのボンベイ・サファイアはモンでないしホモロジー検索でない」ということは偽であるなら「零付近であるということはない」ということは事実である fact9: 仮にその創業時代が工作するとするとその江戸市中は狭苦しいけれど燃え易くない fact10: 仮に何らかのものはモンなら「そのボンベイ・サファイアはモンでないしそれにそれはホモロジー検索でない」ということは成り立たない fact11: もしその江戸市中は工作するし燃え易いとしたら狭苦しくない fact12: もしもその創業時代が長細いけれど動力性であるということはないとすればその江戸市中は工作する fact13: その創業時代は動力性でない fact14: もし仮にあの陰気さが懐っこい一方でそれは訴え出ないなら「それは狭苦しくない」ということは成り立つ fact15: もしも「あの野良犬は留まらないかあるいはたくし上げるということはないかまたは両方ともだ」ということは嘘ならあの陰気さは留まるということはない fact16: この人事部長は動力性である fact17: その創業時代は長細いが動力性でない fact18: その創業時代が長細いししかも動力性だとするとその江戸市中は工作する fact19: あのサックはモンだ fact20: 「その江戸市中は燃え易い」ということは本当である
fact12 & fact17 -> int1: その江戸市中は工作する; int1 & fact20 -> int2: その江戸市中は工作するし加えて燃え易い; int2 & fact11 -> hypothesis;
その江戸市中は狭苦しい
fact28 -> int3: 仮にその創業時代が訴え出るということはないとしたら工作するし自己規定する; fact22 -> int4: もし仮にあの陰気さが留まらないならば懐っこいかあるいは訴え出ない; fact23 -> int5: 「モンな」ものはある; int5 & fact27 -> int6: 「そのボンベイ・サファイアはモンでないしホモロジー検索だということはない」ということは成り立つということはない; fact25 & int6 -> int7: そのボンベイ・サファイアは零付近でない; fact24 & int7 -> int8: 「あの野良犬は留まらないかまたはそれはたくし上げないかまたは両方である」ということは成り立つということはない; fact26 & int8 -> int9: 「あの陰気さは留まらない」ということは事実である; int4 & int9 -> int10: あの陰気さは懐っこいかもしくはそれは訴え出ない;
$facts$ = fact1: 何かは留まらないとすればそれは懐っこいかもしくは訴え出ないかもしくは両方ともだ fact2: そのボンベイ・サファイアは零付近であるということはないなら「あの野良犬は留まらないかまたはそれはたくし上げるということはない」ということは間違っている fact3: もしその創業時代は燃え易いがしかし動力性でないとすると「その江戸市中は狭苦しい」ということは本当だ fact4: その江戸市中は動力性だということはない fact5: あの陰気さは懐っこいがそれは訴え出ない fact6: その創業時代は狭苦しくない fact7: もしもあるものが訴え出ないなら工作するし更に自己規定する fact8: もし「そのボンベイ・サファイアはモンでないしホモロジー検索でない」ということは偽であるなら「零付近であるということはない」ということは事実である fact9: 仮にその創業時代が工作するとするとその江戸市中は狭苦しいけれど燃え易くない fact10: 仮に何らかのものはモンなら「そのボンベイ・サファイアはモンでないしそれにそれはホモロジー検索でない」ということは成り立たない fact11: もしその江戸市中は工作するし燃え易いとしたら狭苦しくない fact12: もしもその創業時代が長細いけれど動力性であるということはないとすればその江戸市中は工作する fact13: その創業時代は動力性でない fact14: もし仮にあの陰気さが懐っこい一方でそれは訴え出ないなら「それは狭苦しくない」ということは成り立つ fact15: もしも「あの野良犬は留まらないかあるいはたくし上げるということはないかまたは両方ともだ」ということは嘘ならあの陰気さは留まるということはない fact16: この人事部長は動力性である fact17: その創業時代は長細いが動力性でない fact18: その創業時代が長細いししかも動力性だとするとその江戸市中は工作する fact19: あのサックはモンだ fact20: 「その江戸市中は燃え易い」ということは本当である ; $hypothesis$ = その江戸市中は狭苦しい ; $proof$ = 
fact12 & fact17 -> int1: その江戸市中は工作する; int1 & fact20 -> int2: その江戸市中は工作するし加えて燃え易い; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: 何かは留まらないとすればそれは懐っこいかもしくは訴え出ないかもしくは両方ともだ
事実2: そのボンベイ・サファイアは零付近であるということはないなら「あの野良犬は留まらないかまたはそれはたくし上げるということはない」ということは間違っている
事実3: もしその創業時代は燃え易いがしかし動力性でないとすると「その江戸市中は狭苦しい」ということは本当だ
事実4: その江戸市中は動力性だということはない
事実5: あの陰気さは懐っこいがそれは訴え出ない
事実6: その創業時代は狭苦しくない
事実7: もしもあるものが訴え出ないなら工作するし更に自己規定する
事実8: もし「そのボンベイ・サファイアはモンでないしホモロジー検索でない」ということは偽であるなら「零付近であるということはない」ということは事実である
事実9: 仮にその創業時代が工作するとするとその江戸市中は狭苦しいけれど燃え易くない
事実10: 仮に何らかのものはモンなら「そのボンベイ・サファイアはモンでないしそれにそれはホモロジー検索でない」ということは成り立たない
事実11: もしその江戸市中は工作するし燃え易いとしたら狭苦しくない
事実12: もしもその創業時代が長細いけれど動力性であるということはないとすればその江戸市中は工作する
事実13: その創業時代は動力性でない
事実14: もし仮にあの陰気さが懐っこい一方でそれは訴え出ないなら「それは狭苦しくない」ということは成り立つ
事実15: もしも「あの野良犬は留まらないかあるいはたくし上げるということはないかまたは両方ともだ」ということは嘘ならあの陰気さは留まるということはない
事実16: この人事部長は動力性である
事実17: その創業時代は長細いが動力性でない
事実18: その創業時代が長細いししかも動力性だとするとその江戸市中は工作する
事実19: あのサックはモンだ
事実20: 「その江戸市中は燃え易い」ということは本当である

仮説: その江戸市中は狭苦しい
1. 事実12と事実17から、推論1: "その江戸市中は工作する"が導かれる
2. 推論1と事実20から、推論2: "その江戸市中は工作するし加えて燃え易い"が導かれる
3. 推論2と事実11から、仮説が否定される

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