その窪地はエルミタージュでない
fact1: あの御下ろしが意義深くないならその窪地はエルミタージュだ fact2: もしあの御下ろしが意義深くないかまたは辛いかもしくは両方だとしたらその窪地はエルミタージュだ fact3: もしもその風車小屋が御でこだとしたらあの御下ろしは出張する fact4: もし仮に何かは御でこでないとすれば「それはエルミタージュだが出張しない」ということは成り立つ fact5: あの御下ろしは辛い fact6: あの御下ろしは意義深いかもしくは辛い fact7: あるものは保育所等でないとすると「長続きするしおまけに退室する」ということは偽である fact8: もし仮にその北海は退室するなら「あの製造原価報告書は長続きする」ということは成り立つ fact9: エルミタージュが出張しないとすると意義深い fact10: その窪地は保育所等でない fact11: あの丸ペンチが二千年試案でないしそれに保育所等でないとすると「そのレコード数は保育所等でない」ということは真実である fact12: 仮に「あるものは意義深いしまた辛い」ということは間違っていればエルミタージュでない fact13: 仮にあの御下ろしが意義深いならばこの遠心は辛くないか認め難いかまたはどちらもである fact14: もしもとある物が出張するなら辛くない fact15: 保育所等は退室する fact16: 仮にあの製造原価報告書は長続きするなら「その風車小屋は御でこである」ということは事実だ fact17: 仮になにがしかの物が長続きしないとすると御でこでない fact18: 仮にそのレコード数が保育所等でないならばあの北海は保育所等である
fact5 -> int1: あの御下ろしは意義深くないか辛いか両方ともだ; int1 & fact2 -> hypothesis;
その窪地はエルミタージュだということはない
fact23 -> int2: もしも「その窪地は意義深くてさらに辛い」ということは誤っていればエルミタージュでない; fact20 -> int3: もしあの御下ろしは出張するなら「辛くない」ということは正しい; fact25 -> int4: もしもその北海が保育所等だとすれば退室する;
$facts$ = fact1: あの御下ろしが意義深くないならその窪地はエルミタージュだ fact2: もしあの御下ろしが意義深くないかまたは辛いかもしくは両方だとしたらその窪地はエルミタージュだ fact3: もしもその風車小屋が御でこだとしたらあの御下ろしは出張する fact4: もし仮に何かは御でこでないとすれば「それはエルミタージュだが出張しない」ということは成り立つ fact5: あの御下ろしは辛い fact6: あの御下ろしは意義深いかもしくは辛い fact7: あるものは保育所等でないとすると「長続きするしおまけに退室する」ということは偽である fact8: もし仮にその北海は退室するなら「あの製造原価報告書は長続きする」ということは成り立つ fact9: エルミタージュが出張しないとすると意義深い fact10: その窪地は保育所等でない fact11: あの丸ペンチが二千年試案でないしそれに保育所等でないとすると「そのレコード数は保育所等でない」ということは真実である fact12: 仮に「あるものは意義深いしまた辛い」ということは間違っていればエルミタージュでない fact13: 仮にあの御下ろしが意義深いならばこの遠心は辛くないか認め難いかまたはどちらもである fact14: もしもとある物が出張するなら辛くない fact15: 保育所等は退室する fact16: 仮にあの製造原価報告書は長続きするなら「その風車小屋は御でこである」ということは事実だ fact17: 仮になにがしかの物が長続きしないとすると御でこでない fact18: 仮にそのレコード数が保育所等でないならばあの北海は保育所等である ; $hypothesis$ = その窪地はエルミタージュでない ; $proof$ = 
fact5 -> int1: あの御下ろしは意義深くないか辛いか両方ともだ; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: あの御下ろしが意義深くないならその窪地はエルミタージュだ
事実2: もしあの御下ろしが意義深くないかまたは辛いかもしくは両方だとしたらその窪地はエルミタージュだ
事実3: もしもその風車小屋が御でこだとしたらあの御下ろしは出張する
事実4: もし仮に何かは御でこでないとすれば「それはエルミタージュだが出張しない」ということは成り立つ
事実5: あの御下ろしは辛い
事実6: あの御下ろしは意義深いかもしくは辛い
事実7: あるものは保育所等でないとすると「長続きするしおまけに退室する」ということは偽である
事実8: もし仮にその北海は退室するなら「あの製造原価報告書は長続きする」ということは成り立つ
事実9: エルミタージュが出張しないとすると意義深い
事実10: その窪地は保育所等でない
事実11: あの丸ペンチが二千年試案でないしそれに保育所等でないとすると「そのレコード数は保育所等でない」ということは真実である
事実12: 仮に「あるものは意義深いしまた辛い」ということは間違っていればエルミタージュでない
事実13: 仮にあの御下ろしが意義深いならばこの遠心は辛くないか認め難いかまたはどちらもである
事実14: もしもとある物が出張するなら辛くない
事実15: 保育所等は退室する
事実16: 仮にあの製造原価報告書は長続きするなら「その風車小屋は御でこである」ということは事実だ
事実17: 仮になにがしかの物が長続きしないとすると御でこでない
事実18: 仮にそのレコード数が保育所等でないならばあの北海は保育所等である

仮説: その窪地はエルミタージュでない
1. 事実5から、推論1: "あの御下ろしは意義深くないか辛いか両方ともだ"が導かれる
2. 推論1と事実2から、仮説が否定される

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