「この被事後設立法人が生じ難いしその上それは言い終わる」ということは成り立たない
fact1: 何らかの物は陰気臭くないなら「それが成熟市場だししかも随伴症状であるということはない」ということは間違いだ fact2: 「その円盤状は駐留米軍でない」ということは成り立つ fact3: この被事後設立法人は掲記しない fact4: もしあの急使が生じ難いならこの被事後設立法人は成熟市場だ fact5: 「この被事後設立法人は成熟市場だ」ということは本当だ fact6: 「その円盤状は言い終わる」ということは事実である fact7: この被事後設立法人は生じ難いしそれは成熟市場である fact8: その円盤状は随伴症状でない fact9: あの急使は燃え広がるということはない fact10: もしその円盤状が成熟市場でないとすればあの急使は随伴症状であるしおまけにそれは言い終わる fact11: その円盤状は生じ難くない fact12: 仮になにかは陰気臭いとすると「それは言い終わるしそれは生じ難くない」ということは間違いだ fact13: もしもあの急使が成熟市場でないとしたらこの被事後設立法人は生じ難い fact14: もしあの急使が成熟市場であるとすればその円盤状は随伴症状だ fact15: もしもあるものは成熟市場でないとすると「生じ難いしその上言い終わる」ということは成り立たない fact16: この被事後設立法人は生じ難い fact17: もしもあの急使が成熟市場でないならこの被事後設立法人は生じ難くて言い終わる fact18: もしその円盤状が成熟市場だし加えて随伴症状だとすればあの急使は冷たくない fact19: 仮にこの被事後設立法人が随伴症状でないならばその円盤状は生じ難くてそれにそれは言い終わる fact20: その円盤状が生じ難いとしたらこの被事後設立法人は随伴症状だ fact21: もしこの被事後設立法人が随伴症状であるならばその円盤状は言い終わる
void -> assump1: 以下のように仮定する。あの急使は成熟市場だ; fact14 & assump1 -> int1: 「その円盤状は随伴症状である」ということは本当だ; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの急使は成熟市場でない; int3 & fact17 -> hypothesis;
「この被事後設立法人は生じ難くて更に言い終わる」ということは誤りである
fact22 -> int4: もしこの被事後設立法人は成熟市場でないならば「それは生じ難くて更にそれは言い終わる」ということは確かでない; 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$ = 
void -> assump1: 以下のように仮定する。あの急使は成熟市場だ; fact14 & assump1 -> int1: 「その円盤状は随伴症状である」ということは本当だ; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの急使は成熟市場でない; int3 & fact17 -> hypothesis; __DISPROVED__
事実1: 何らかの物は陰気臭くないなら「それが成熟市場だししかも随伴症状であるということはない」ということは間違いだ
事実2: 「その円盤状は駐留米軍でない」ということは成り立つ
事実3: この被事後設立法人は掲記しない
事実4: もしあの急使が生じ難いならこの被事後設立法人は成熟市場だ
事実5: 「この被事後設立法人は成熟市場だ」ということは本当だ
事実6: 「その円盤状は言い終わる」ということは事実である
事実7: この被事後設立法人は生じ難いしそれは成熟市場である
事実8: その円盤状は随伴症状でない
事実9: あの急使は燃え広がるということはない
事実10: もしその円盤状が成熟市場でないとすればあの急使は随伴症状であるしおまけにそれは言い終わる
事実11: その円盤状は生じ難くない
事実12: 仮になにかは陰気臭いとすると「それは言い終わるしそれは生じ難くない」ということは間違いだ
事実13: もしもあの急使が成熟市場でないとしたらこの被事後設立法人は生じ難い
事実14: もしあの急使が成熟市場であるとすればその円盤状は随伴症状だ
事実15: もしもあるものは成熟市場でないとすると「生じ難いしその上言い終わる」ということは成り立たない
事実16: この被事後設立法人は生じ難い
事実17: もしもあの急使が成熟市場でないならこの被事後設立法人は生じ難くて言い終わる
事実18: もしその円盤状が成熟市場だし加えて随伴症状だとすればあの急使は冷たくない
事実19: 仮にこの被事後設立法人が随伴症状でないならばその円盤状は生じ難くてそれにそれは言い終わる
事実20: その円盤状が生じ難いとしたらこの被事後設立法人は随伴症状だ
事実21: もしこの被事後設立法人が随伴症状であるならばその円盤状は言い終わる

仮説: 「この被事後設立法人が生じ難いしその上それは言い終わる」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの急使は成熟市場だ
2. 事実14と仮定1から、推論1: "「その円盤状は随伴症状である」ということは本当だ"が導かれる
3. 推論1と事実8から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの急使は成熟市場でない"が導かれる
5. 推論3と事実17から、仮説が否定される

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