あの明治民法は有り余る
fact1: あの当該内国法人がすばしこいとすればクレヨンだ fact2: もしもあの明治民法が有り余ればあの住宅施策は有り余る fact3: あの住宅施策がクレヨンならばあの明治民法はクレヨンである fact4: もし仮にあの住宅施策はクレヨンであるし加えて有り余るならそれはすっごくない fact5: あの住宅施策はクレヨンだ fact6: 「この削除データ復元は鬱病患者であるけれど心細くない」ということは嘘だ fact7: あの一頭当たりは閉塞性でクレヨンである fact8: 仮にあの住宅施策がすっごいとすればクレヨンだ fact9: あの明治民法はすっごい fact10: あの住宅施策は愚図でない fact11: あの明治民法は立脚するし期待し難い fact12: もし仮にあの住宅施策がすっごいとしたらあの明治民法はすっごい fact13: あの住宅施策は批准する fact14: 仮にあの明治民法がすっごいとしたらそれは愚図だ fact15: 仮に「あの住宅施策は心細い」ということは成り立てば「クレヨンでないしそれに会員登録する」ということは間違っている fact16: あの住宅施策は呈し始める fact17: 「もしあの住宅施策が有り余るしおまけにすっごいとするとあの住宅施策はクレヨンでない」ということは確かだ fact18: あの住宅施策は有り余る fact19: あの住宅施策はすっごいということはない fact20: あの明治民法は名高い fact21: もし仮にとあるものがクレヨンでそれにそれは愚図であるとすれば有り余らない
fact14 & fact9 -> int1: あの明治民法は愚図である; fact5 & fact3 -> int2: あの明治民法はクレヨンだ; int1 & int2 -> int3: あの明治民法はクレヨンであるしかつ愚図である; fact21 -> int4: あの明治民法がクレヨンだしその上愚図だとすれば有り余らない; int3 & int4 -> hypothesis;
あの明治民法は有り余る
fact23 -> int5: 「「鬱病患者であるししかも心細くない」ということは間違いな」ものはある;
$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 & fact9 -> int1: あの明治民法は愚図である; fact5 & fact3 -> int2: あの明治民法はクレヨンだ; int1 & int2 -> int3: あの明治民法はクレヨンであるしかつ愚図である; fact21 -> int4: あの明治民法がクレヨンだしその上愚図だとすれば有り余らない; int3 & int4 -> 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と事実9から、推論1: "あの明治民法は愚図である"が導かれる
2. 事実5と事実3から、推論2: "あの明治民法はクレヨンだ"が導かれる
3. 推論1と推論2から、推論3: "あの明治民法はクレヨンであるしかつ愚図である"が導かれる
4. 事実21から、推論4: "あの明治民法がクレヨンだしその上愚図だとすれば有り余らない"が導かれる
5. 推論3と推論4から、仮説が否定される

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