この山内荘は迷信深くない
fact1: その口コミが行儀良いとすればこの寝癖はわりない fact2: もしも「穴ぼこだということはない」物はあれば「その口コミは造成する」ということは真実だ fact3: この寝癖が造成するしまた厚かましいとするとその口コミは厚かましくない fact4: 厚かましいものは迷信深くない fact5: 仮にあの駱駝が厚かましいとすればその口コミは行儀良い fact6: もしあの駱駝がわりないならばこの寝癖は厚かましい fact7: 厚かましいものは行儀良い fact8: 「造成する」物はあるとすると「あの駱駝は行儀良くないけどそれはわりない」ということは間違っている fact9: 仮に「この侍従職はわりなくない」ということは成り立つとするとこの寝癖は造成するし更にそれは厚かましい fact10: もしも「「ラッピングしない」ということは確かである」ものがあるとすればあの駱駝は厚かましい fact11: もし仮に「「繰り延べるしラッピングする」ということは間違っている」物があるとしたらあの駱駝は厚かましい fact12: 仮にとあるものが造成するなら穴ぼこだ fact13: 「「繰り延べるしかつラッピングする」ということは成り立たない」物はある fact14: 「行儀良くてまたわりない」ものはある fact15: 仮にある物がわりないならば造成する fact16: この寝癖は来し易い fact17: 仮にあの駱駝がちっこいならばそれは来し易い fact18: 仮に「穴ぼこだしかつ来し易い」ものがあるとするとこの山内荘は迷信深い fact19: もし「この山内荘は造成する」ということは正しいならば「迷信深い」ということは本当だ
fact13 & fact11 -> int1: 「あの駱駝は厚かましい」ということは確かである; int1 & fact5 -> int2: その口コミは行儀良い; int2 & fact1 -> int3: この寝癖はわりない; fact15 -> int4: もし仮にこの寝癖がわりないとするとそれは造成する; int3 & int4 -> int5: この寝癖は造成する; fact12 -> int6: この寝癖が造成するとすれば穴ぼこである; int5 & int6 -> int7: この寝癖は穴ぼこだ; int7 & fact16 -> int8: この寝癖は穴ぼこであるし更にそれは来し易い; int8 -> int9: 来し易い穴ぼこはある; int9 & fact18 -> hypothesis;
この山内荘は迷信深いということはない
fact21 -> int10: この山内荘が厚かましいとすると迷信深くない;
$facts$ = fact1: その口コミが行儀良いとすればこの寝癖はわりない fact2: もしも「穴ぼこだということはない」物はあれば「その口コミは造成する」ということは真実だ fact3: この寝癖が造成するしまた厚かましいとするとその口コミは厚かましくない fact4: 厚かましいものは迷信深くない fact5: 仮にあの駱駝が厚かましいとすればその口コミは行儀良い fact6: もしあの駱駝がわりないならばこの寝癖は厚かましい fact7: 厚かましいものは行儀良い fact8: 「造成する」物はあるとすると「あの駱駝は行儀良くないけどそれはわりない」ということは間違っている fact9: 仮に「この侍従職はわりなくない」ということは成り立つとするとこの寝癖は造成するし更にそれは厚かましい fact10: もしも「「ラッピングしない」ということは確かである」ものがあるとすればあの駱駝は厚かましい fact11: もし仮に「「繰り延べるしラッピングする」ということは間違っている」物があるとしたらあの駱駝は厚かましい fact12: 仮にとあるものが造成するなら穴ぼこだ fact13: 「「繰り延べるしかつラッピングする」ということは成り立たない」物はある fact14: 「行儀良くてまたわりない」ものはある fact15: 仮にある物がわりないならば造成する fact16: この寝癖は来し易い fact17: 仮にあの駱駝がちっこいならばそれは来し易い fact18: 仮に「穴ぼこだしかつ来し易い」ものがあるとするとこの山内荘は迷信深い fact19: もし「この山内荘は造成する」ということは正しいならば「迷信深い」ということは本当だ ; $hypothesis$ = この山内荘は迷信深くない ; $proof$ = 
fact13 & fact11 -> int1: 「あの駱駝は厚かましい」ということは確かである; int1 & fact5 -> int2: その口コミは行儀良い; int2 & fact1 -> int3: この寝癖はわりない; fact15 -> int4: もし仮にこの寝癖がわりないとするとそれは造成する; int3 & int4 -> int5: この寝癖は造成する; fact12 -> int6: この寝癖が造成するとすれば穴ぼこである; int5 & int6 -> int7: この寝癖は穴ぼこだ; int7 & fact16 -> int8: この寝癖は穴ぼこであるし更にそれは来し易い; int8 -> int9: 来し易い穴ぼこはある; int9 & fact18 -> hypothesis; __DISPROVED__
事実1: その口コミが行儀良いとすればこの寝癖はわりない
事実2: もしも「穴ぼこだということはない」物はあれば「その口コミは造成する」ということは真実だ
事実3: この寝癖が造成するしまた厚かましいとするとその口コミは厚かましくない
事実4: 厚かましいものは迷信深くない
事実5: 仮にあの駱駝が厚かましいとすればその口コミは行儀良い
事実6: もしあの駱駝がわりないならばこの寝癖は厚かましい
事実7: 厚かましいものは行儀良い
事実8: 「造成する」物はあるとすると「あの駱駝は行儀良くないけどそれはわりない」ということは間違っている
事実9: 仮に「この侍従職はわりなくない」ということは成り立つとするとこの寝癖は造成するし更にそれは厚かましい
事実10: もしも「「ラッピングしない」ということは確かである」ものがあるとすればあの駱駝は厚かましい
事実11: もし仮に「「繰り延べるしラッピングする」ということは間違っている」物があるとしたらあの駱駝は厚かましい
事実12: 仮にとあるものが造成するなら穴ぼこだ
事実13: 「「繰り延べるしかつラッピングする」ということは成り立たない」物はある
事実14: 「行儀良くてまたわりない」ものはある
事実15: 仮にある物がわりないならば造成する
事実16: この寝癖は来し易い
事実17: 仮にあの駱駝がちっこいならばそれは来し易い
事実18: 仮に「穴ぼこだしかつ来し易い」ものがあるとするとこの山内荘は迷信深い
事実19: もし「この山内荘は造成する」ということは正しいならば「迷信深い」ということは本当だ

仮説: この山内荘は迷信深くない
1. 事実13と事実11から、推論1: "「あの駱駝は厚かましい」ということは確かである"が導かれる
2. 推論1と事実5から、推論2: "その口コミは行儀良い"が導かれる
3. 推論2と事実1から、推論3: "この寝癖はわりない"が導かれる
4. 事実15から、推論4: "もし仮にこの寝癖がわりないとするとそれは造成する"が導かれる
5. 推論3と推論4から、推論5: "この寝癖は造成する"が導かれる
6. 事実12から、推論6: "この寝癖が造成するとすれば穴ぼこである"が導かれる
7. 推論5と推論6から、推論7: "この寝癖は穴ぼこだ"が導かれる
8. 推論7と事実16から、推論8: "この寝癖は穴ぼこであるし更にそれは来し易い"が導かれる
9. 推論8から、推論9: "来し易い穴ぼこはある"が導かれる
10. 推論9と事実18から、仮説が否定される

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