この選好関係は大人しい
fact1: あの富士壺がプロパンガスだということはないならばこの和夫さん一家は暗算しない fact2: 「あの富士壺は朝であるしそれにプロパンガスだ」ということは偽である fact3: その内視鏡的治療は大人しくない fact4: その内視鏡的治療は朝でない fact5: アジア系は御美しくないが暗算する fact6: 仮にあの富士壺が御美しくないがしかし暗算するとすると「この選好関係は大人しい」ということは成り立つ fact7: もし仮にその内視鏡的治療がいじましくないとすればこの和夫さん一家はアジア系であるか持ち難いかあるいはどちらもだ fact8: 「あの富士壺が朝だし更にプロパンガスである」ということは成り立たないならばこの和夫さん一家は暗算しない fact9: 仮に「そのクール・ダウンは引き起こし易いしおまけにそれは長たらしい」ということは誤っているとするとそれは長たらしくない fact10: この和夫さん一家は暗算しないとしたら「その内視鏡的治療は暗算するがしかしそれは御美しくない」ということは成り立たない fact11: もし仮にその内視鏡的治療が御美しいとするとこの選好関係は大人しいということはない fact12: もしそのクール・ダウンは本震でないとしたら「それは引き起こし易いし長たらしい」ということは嘘である fact13: そのクール・ダウンが長たらしくないなら薄明るくて女性らしい fact14: 「その内視鏡的治療は暗算するしまた御美しい」ということは嘘だ fact15: もし「その内視鏡的治療は暗算するけど御美しくない」ということは成り立たないならばこの選好関係は大人しくない fact16: 薄明るいし女性らしいものは民人でない fact17: もし「この債権者保護手続きはいじましくてそれは粟立つ」ということは嘘であるならその内視鏡的治療はいじましいということはない fact18: もしもこの和夫さん一家は暗算しないとすれば「その内視鏡的治療は暗算するしそれは御美しい」ということは間違いである
fact8 & fact2 -> int1: この和夫さん一家は暗算しない; int1 & fact10 -> int2: 「その内視鏡的治療は暗算するけどそれは御美しくない」ということは成り立たない; int2 & fact15 -> hypothesis;
この選好関係は大人しい
fact23 -> int3: 仮にあの富士壺がアジア系だとすればそれは御美しくないし暗算する; fact19 -> int4: もし仮にそのクール・ダウンは薄明るいしかつ女性らしいとしたら民人でない;
$facts$ = fact1: あの富士壺がプロパンガスだということはないならばこの和夫さん一家は暗算しない fact2: 「あの富士壺は朝であるしそれにプロパンガスだ」ということは偽である fact3: その内視鏡的治療は大人しくない fact4: その内視鏡的治療は朝でない fact5: アジア系は御美しくないが暗算する fact6: 仮にあの富士壺が御美しくないがしかし暗算するとすると「この選好関係は大人しい」ということは成り立つ fact7: もし仮にその内視鏡的治療がいじましくないとすればこの和夫さん一家はアジア系であるか持ち難いかあるいはどちらもだ fact8: 「あの富士壺が朝だし更にプロパンガスである」ということは成り立たないならばこの和夫さん一家は暗算しない fact9: 仮に「そのクール・ダウンは引き起こし易いしおまけにそれは長たらしい」ということは誤っているとするとそれは長たらしくない fact10: この和夫さん一家は暗算しないとしたら「その内視鏡的治療は暗算するがしかしそれは御美しくない」ということは成り立たない fact11: もし仮にその内視鏡的治療が御美しいとするとこの選好関係は大人しいということはない fact12: もしそのクール・ダウンは本震でないとしたら「それは引き起こし易いし長たらしい」ということは嘘である fact13: そのクール・ダウンが長たらしくないなら薄明るくて女性らしい fact14: 「その内視鏡的治療は暗算するしまた御美しい」ということは嘘だ fact15: もし「その内視鏡的治療は暗算するけど御美しくない」ということは成り立たないならばこの選好関係は大人しくない fact16: 薄明るいし女性らしいものは民人でない fact17: もし「この債権者保護手続きはいじましくてそれは粟立つ」ということは嘘であるならその内視鏡的治療はいじましいということはない fact18: もしもこの和夫さん一家は暗算しないとすれば「その内視鏡的治療は暗算するしそれは御美しい」ということは間違いである ; $hypothesis$ = この選好関係は大人しい ; $proof$ = 
fact8 & fact2 -> int1: この和夫さん一家は暗算しない; int1 & fact10 -> int2: 「その内視鏡的治療は暗算するけどそれは御美しくない」ということは成り立たない; int2 & fact15 -> hypothesis; __DISPROVED__
事実1: あの富士壺がプロパンガスだということはないならばこの和夫さん一家は暗算しない
事実2: 「あの富士壺は朝であるしそれにプロパンガスだ」ということは偽である
事実3: その内視鏡的治療は大人しくない
事実4: その内視鏡的治療は朝でない
事実5: アジア系は御美しくないが暗算する
事実6: 仮にあの富士壺が御美しくないがしかし暗算するとすると「この選好関係は大人しい」ということは成り立つ
事実7: もし仮にその内視鏡的治療がいじましくないとすればこの和夫さん一家はアジア系であるか持ち難いかあるいはどちらもだ
事実8: 「あの富士壺が朝だし更にプロパンガスである」ということは成り立たないならばこの和夫さん一家は暗算しない
事実9: 仮に「そのクール・ダウンは引き起こし易いしおまけにそれは長たらしい」ということは誤っているとするとそれは長たらしくない
事実10: この和夫さん一家は暗算しないとしたら「その内視鏡的治療は暗算するがしかしそれは御美しくない」ということは成り立たない
事実11: もし仮にその内視鏡的治療が御美しいとするとこの選好関係は大人しいということはない
事実12: もしそのクール・ダウンは本震でないとしたら「それは引き起こし易いし長たらしい」ということは嘘である
事実13: そのクール・ダウンが長たらしくないなら薄明るくて女性らしい
事実14: 「その内視鏡的治療は暗算するしまた御美しい」ということは嘘だ
事実15: もし「その内視鏡的治療は暗算するけど御美しくない」ということは成り立たないならばこの選好関係は大人しくない
事実16: 薄明るいし女性らしいものは民人でない
事実17: もし「この債権者保護手続きはいじましくてそれは粟立つ」ということは嘘であるならその内視鏡的治療はいじましいということはない
事実18: もしもこの和夫さん一家は暗算しないとすれば「その内視鏡的治療は暗算するしそれは御美しい」ということは間違いである

仮説: この選好関係は大人しい
1. 事実8と事実2から、推論1: "この和夫さん一家は暗算しない"が導かれる
2. 推論1と事実10から、推論2: "「その内視鏡的治療は暗算するけどそれは御美しくない」ということは成り立たない"が導かれる
3. 推論2と事実15から、仮説が否定される

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