「「「野太いししかも一等賞である」ということは成り立たない」物はある」ということは間違いだ
fact1: あの本線上はサンプリング周期でない fact2: 「野太くて一等賞である」ものはある fact3: もしあの本線上は半壊しないとすれば「この飯盛女は三軒であるし野太い」ということは成り立つということはない fact4: もし仮にこの飯盛女はサンプリング周期でない一方で三軒であるとすれば半壊しない fact5: この飯盛女は半壊しないならば「あの本線上は野太いしまた一等賞だ」ということは誤りである fact6: この飯盛女は一等賞でないがしかし三軒だとするとそれは半壊しない fact7: この飯盛女はサンプリング周期でない fact8: あの本線上は教義自体でないけど半壊する fact9: もしもあの本線上は半壊しないとすると「この飯盛女が三軒だし一等賞だ」ということは成り立たない fact10: この飯盛女はサンプリング周期でないけれど纏まり易い fact11: この飯盛女はサンプリング周期でない一方でそれは三軒である fact12: あの本線上は三軒でないとしたら「この飯盛女は一等賞であるししかもサンプリング周期だ」ということは偽だ fact13: もしもあの本線上は野太くないなら「この飯盛女は一等賞だしそれにサンプリング周期だ」ということは偽である fact14: もし仮にこの飯盛女は半壊しないとすると「あの本線上が三軒だしさらにそれは野太い」ということは嘘だ fact15: 「「三軒だしさらに野太い」ということは成り立たない」ものはある fact16: 「あの本線上は株式会社化するし更に遺伝子組み替え技術だ」ということは成り立たない fact17: もしも「この飯盛女は一等賞だということはない」ということは本当であるなら「「あの本線上が半壊するしその上それはサンプリング周期である」ということは成り立たない」ということは確かだ fact18: 仮にあの本線上がサンプリング周期でないが野太いなら三軒でない fact19: 「「サンプリング周期であるし加えて三軒だ」ということは誤りである」物はある fact20: もしこの飯盛女がサンプリング周期だし三軒であるとすればそれは半壊しない fact21: 「あの本線上は野太いしそれは倹しい」ということは間違いだ
fact4 & fact11 -> int1: この飯盛女は半壊しない; int1 & fact5 -> int2: 「あの本線上は野太いし一等賞である」ということは嘘である; int2 -> hypothesis;
fact4 & fact11 -> int1: ¬{B}{a}; int1 & fact5 -> int2: ¬({C}{b} & {A}{b}); int2 -> hypothesis;
$facts$ = fact1: あの本線上はサンプリング周期でない fact2: 「野太くて一等賞である」ものはある fact3: もしあの本線上は半壊しないとすれば「この飯盛女は三軒であるし野太い」ということは成り立つということはない fact4: もし仮にこの飯盛女はサンプリング周期でない一方で三軒であるとすれば半壊しない fact5: この飯盛女は半壊しないならば「あの本線上は野太いしまた一等賞だ」ということは誤りである fact6: この飯盛女は一等賞でないがしかし三軒だとするとそれは半壊しない fact7: この飯盛女はサンプリング周期でない fact8: あの本線上は教義自体でないけど半壊する fact9: もしもあの本線上は半壊しないとすると「この飯盛女が三軒だし一等賞だ」ということは成り立たない fact10: この飯盛女はサンプリング周期でないけれど纏まり易い fact11: この飯盛女はサンプリング周期でない一方でそれは三軒である fact12: あの本線上は三軒でないとしたら「この飯盛女は一等賞であるししかもサンプリング周期だ」ということは偽だ fact13: もしもあの本線上は野太くないなら「この飯盛女は一等賞だしそれにサンプリング周期だ」ということは偽である fact14: もし仮にこの飯盛女は半壊しないとすると「あの本線上が三軒だしさらにそれは野太い」ということは嘘だ fact15: 「「三軒だしさらに野太い」ということは成り立たない」ものはある fact16: 「あの本線上は株式会社化するし更に遺伝子組み替え技術だ」ということは成り立たない fact17: もしも「この飯盛女は一等賞だということはない」ということは本当であるなら「「あの本線上が半壊するしその上それはサンプリング周期である」ということは成り立たない」ということは確かだ fact18: 仮にあの本線上がサンプリング周期でないが野太いなら三軒でない fact19: 「「サンプリング周期であるし加えて三軒だ」ということは誤りである」物はある fact20: もしこの飯盛女がサンプリング周期だし三軒であるとすればそれは半壊しない fact21: 「あの本線上は野太いしそれは倹しい」ということは間違いだ ; $hypothesis$ = 「「「野太いししかも一等賞である」ということは成り立たない」物はある」ということは間違いだ ; $proof$ = 
fact4 & fact11 -> int1: この飯盛女は半壊しない; int1 & fact5 -> int2: 「あの本線上は野太いし一等賞である」ということは嘘である; int2 -> hypothesis; __DISPROVED__
事実1: あの本線上はサンプリング周期でない
事実2: 「野太くて一等賞である」ものはある
事実3: もしあの本線上は半壊しないとすれば「この飯盛女は三軒であるし野太い」ということは成り立つということはない
事実4: もし仮にこの飯盛女はサンプリング周期でない一方で三軒であるとすれば半壊しない
事実5: この飯盛女は半壊しないならば「あの本線上は野太いしまた一等賞だ」ということは誤りである
事実6: この飯盛女は一等賞でないがしかし三軒だとするとそれは半壊しない
事実7: この飯盛女はサンプリング周期でない
事実8: あの本線上は教義自体でないけど半壊する
事実9: もしもあの本線上は半壊しないとすると「この飯盛女が三軒だし一等賞だ」ということは成り立たない
事実10: この飯盛女はサンプリング周期でないけれど纏まり易い
事実11: この飯盛女はサンプリング周期でない一方でそれは三軒である
事実12: あの本線上は三軒でないとしたら「この飯盛女は一等賞であるししかもサンプリング周期だ」ということは偽だ
事実13: もしもあの本線上は野太くないなら「この飯盛女は一等賞だしそれにサンプリング周期だ」ということは偽である
事実14: もし仮にこの飯盛女は半壊しないとすると「あの本線上が三軒だしさらにそれは野太い」ということは嘘だ
事実15: 「「三軒だしさらに野太い」ということは成り立たない」ものはある
事実16: 「あの本線上は株式会社化するし更に遺伝子組み替え技術だ」ということは成り立たない
事実17: もしも「この飯盛女は一等賞だということはない」ということは本当であるなら「「あの本線上が半壊するしその上それはサンプリング周期である」ということは成り立たない」ということは確かだ
事実18: 仮にあの本線上がサンプリング周期でないが野太いなら三軒でない
事実19: 「「サンプリング周期であるし加えて三軒だ」ということは誤りである」物はある
事実20: もしこの飯盛女がサンプリング周期だし三軒であるとすればそれは半壊しない
事実21: 「あの本線上は野太いしそれは倹しい」ということは間違いだ

仮説: 「「「野太いししかも一等賞である」ということは成り立たない」物はある」ということは間違いだ
1. 事実4と事実11から、推論1: "この飯盛女は半壊しない"が導かれる
2. 推論1と事実5から、推論2: "「あの本線上は野太いし一等賞である」ということは嘘である"が導かれる
3. 推論2から、仮説が否定される

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