この三地域は内臓型肥満でない
fact1: もしもあの記録メディアは内臓型肥満であるとすればそれは卑し fact2: もし仮にあの同伴は突出でないとすれば「あの記録メディアは菜花であるしそれは卑し」ということは成り立たない fact3: もし「食道入り口部な」物があるならあの腹部腫瘤はプチブレードだ fact4: もし仮にこの三地域が卑しなら菜花だがしかし突出でない fact5: 「菜花であるし卑し」ものはある fact6: 「「なんらかのものは食道入り口部であるし並ぶ」ということは成り立つ」ということは成り立たないならば内臓型肥満でない fact7: もし仮に「卑しない」ものがあるとするとこの三地域は墓である fact8: この三地域は萎びるし菜花である fact9: 「並ぶ」ものはある fact10: もし仮になんらかの物が並ぶしプチブレードであるとすればあの同伴は突出でない fact11: あの腹部腫瘤はプチブレードである fact12: あるものはプチブレードである fact13: 「「突出であるし更に菜花である」ということは嘘な」物はある fact14: もし仮に菜花は突出でないとしたらプチブレードでない fact15: 「食道入り口部な」物はある fact16: 仮になにがしかのものはプチブレードでないとすれば「食道入り口部であるし並ぶ」ということは成り立たない fact17: もし「「菜花であるしそれに卑し」ということは誤っている」物があるならこの三地域は墓だ fact18: 「「出為さるし発症し易い」物はある」ということは成り立つ fact19: もし仮に「内臓型肥満な」物があるならあの記録メディアは突出だしさらに菜花である fact20: 仮にある物が墓だとしたらそれは内臓型肥満である fact21: もしも「食道入り口部である」物はあるとすれば「あの腹部腫瘤は並ぶしまたプチブレードだ」ということは成り立つ
fact15 & fact21 -> int1: あの腹部腫瘤は並ぶしそれにプチブレードだ; int1 -> int2: あるものは並ぶしまたプチブレードだ; int2 & fact10 -> int3: あの同伴は突出だということはない; int3 & fact2 -> int4: 「あの記録メディアは菜花であるしさらに卑し」ということは事実と異なる; int4 -> int5: 「「「菜花だしさらに卑し」ということは嘘な」ものはある」ということは本当である; int5 & fact17 -> int6: 「この三地域は墓である」ということは真実である; fact20 -> int7: もしもこの三地域は墓であるとすればそれは内臓型肥満だ; int6 & int7 -> hypothesis;
この三地域は内臓型肥満でない
fact25 -> int8: もしも「この三地域は食道入り口部であるしおまけに並ぶ」ということは事実と異なるなら内臓型肥満でない; fact23 -> int9: 仮にこの三地域はプチブレードでないとすると「それは食道入り口部であるし並ぶ」ということは事実と異なる; fact22 -> int10: この三地域は菜花であるけれど突出だということはないならばそれはプチブレードでない;
$facts$ = fact1: もしもあの記録メディアは内臓型肥満であるとすればそれは卑し fact2: もし仮にあの同伴は突出でないとすれば「あの記録メディアは菜花であるしそれは卑し」ということは成り立たない fact3: もし「食道入り口部な」物があるならあの腹部腫瘤はプチブレードだ fact4: もし仮にこの三地域が卑しなら菜花だがしかし突出でない fact5: 「菜花であるし卑し」ものはある fact6: 「「なんらかのものは食道入り口部であるし並ぶ」ということは成り立つ」ということは成り立たないならば内臓型肥満でない fact7: もし仮に「卑しない」ものがあるとするとこの三地域は墓である fact8: この三地域は萎びるし菜花である fact9: 「並ぶ」ものはある fact10: もし仮になんらかの物が並ぶしプチブレードであるとすればあの同伴は突出でない fact11: あの腹部腫瘤はプチブレードである fact12: あるものはプチブレードである fact13: 「「突出であるし更に菜花である」ということは嘘な」物はある fact14: もし仮に菜花は突出でないとしたらプチブレードでない fact15: 「食道入り口部な」物はある fact16: 仮になにがしかのものはプチブレードでないとすれば「食道入り口部であるし並ぶ」ということは成り立たない fact17: もし「「菜花であるしそれに卑し」ということは誤っている」物があるならこの三地域は墓だ fact18: 「「出為さるし発症し易い」物はある」ということは成り立つ fact19: もし仮に「内臓型肥満な」物があるならあの記録メディアは突出だしさらに菜花である fact20: 仮にある物が墓だとしたらそれは内臓型肥満である fact21: もしも「食道入り口部である」物はあるとすれば「あの腹部腫瘤は並ぶしまたプチブレードだ」ということは成り立つ ; $hypothesis$ = この三地域は内臓型肥満でない ; $proof$ = 
fact15 & fact21 -> int1: あの腹部腫瘤は並ぶしそれにプチブレードだ; int1 -> int2: あるものは並ぶしまたプチブレードだ; int2 & fact10 -> int3: あの同伴は突出だということはない; int3 & fact2 -> int4: 「あの記録メディアは菜花であるしさらに卑し」ということは事実と異なる; int4 -> int5: 「「「菜花だしさらに卑し」ということは嘘な」ものはある」ということは本当である; int5 & fact17 -> int6: 「この三地域は墓である」ということは真実である; fact20 -> int7: もしもこの三地域は墓であるとすればそれは内臓型肥満だ; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もしもあの記録メディアは内臓型肥満であるとすればそれは卑し
事実2: もし仮にあの同伴は突出でないとすれば「あの記録メディアは菜花であるしそれは卑し」ということは成り立たない
事実3: もし「食道入り口部な」物があるならあの腹部腫瘤はプチブレードだ
事実4: もし仮にこの三地域が卑しなら菜花だがしかし突出でない
事実5: 「菜花であるし卑し」ものはある
事実6: 「「なんらかのものは食道入り口部であるし並ぶ」ということは成り立つ」ということは成り立たないならば内臓型肥満でない
事実7: もし仮に「卑しない」ものがあるとするとこの三地域は墓である
事実8: この三地域は萎びるし菜花である
事実9: 「並ぶ」ものはある
事実10: もし仮になんらかの物が並ぶしプチブレードであるとすればあの同伴は突出でない
事実11: あの腹部腫瘤はプチブレードである
事実12: あるものはプチブレードである
事実13: 「「突出であるし更に菜花である」ということは嘘な」物はある
事実14: もし仮に菜花は突出でないとしたらプチブレードでない
事実15: 「食道入り口部な」物はある
事実16: 仮になにがしかのものはプチブレードでないとすれば「食道入り口部であるし並ぶ」ということは成り立たない
事実17: もし「「菜花であるしそれに卑し」ということは誤っている」物があるならこの三地域は墓だ
事実18: 「「出為さるし発症し易い」物はある」ということは成り立つ
事実19: もし仮に「内臓型肥満な」物があるならあの記録メディアは突出だしさらに菜花である
事実20: 仮にある物が墓だとしたらそれは内臓型肥満である
事実21: もしも「食道入り口部である」物はあるとすれば「あの腹部腫瘤は並ぶしまたプチブレードだ」ということは成り立つ

仮説: この三地域は内臓型肥満でない
1. 事実15と事実21から、推論1: "あの腹部腫瘤は並ぶしそれにプチブレードだ"が導かれる
2. 推論1から、推論2: "あるものは並ぶしまたプチブレードだ"が導かれる
3. 推論2と事実10から、推論3: "あの同伴は突出だということはない"が導かれる
4. 推論3と事実2から、推論4: "「あの記録メディアは菜花であるしさらに卑し」ということは事実と異なる"が導かれる
5. 推論4から、推論5: "「「「菜花だしさらに卑し」ということは嘘な」ものはある」ということは本当である"が導かれる
6. 推論5と事実17から、推論6: "「この三地域は墓である」ということは真実である"が導かれる
7. 事実20から、推論7: "もしもこの三地域は墓であるとすればそれは内臓型肥満だ"が導かれる
8. 推論6と推論7から、仮説が否定される

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