「その蜘蛛膜下腔は黄色いし九月現在だ」ということは間違いだ
fact1: 「「美形である」ということは本当な」ものはある fact2: その蜘蛛膜下腔は黄色いし加えてどうしても欲しい fact3: もしもなんらかのものが九月現在でないとすればそれは黄色くてどうしても欲しい fact4: その蜘蛛膜下腔は美形だ fact5: もし仮にあの物質中はどうしても欲しくないとすると「その蜘蛛膜下腔は黄色いししかも九月現在である」ということは間違いだ fact6: 仮にある物は闘争心であるならば入力列である fact7: もしなにかは絶え難くないとしたら「それは闘争心だけれど入力列でない」ということは偽である fact8: その蜘蛛膜下腔はどうしても欲しい fact9: もしも「とある物は感嘆するけど薄口醤油でない」ということは誤っているとすると薄口醤油だ fact10: その蜘蛛膜下腔は九月現在だ fact11: もしも「「その蜘蛛膜下腔は闘争心だけど入力列でない」ということは真実である」ということは成り立たないとすればこの無糖は捜索する fact12: 「あの物質中は言及する」ということは本当である fact13: もしも何かは言及すれば「それは泊り歩くということはなくてそれは九月現在だ」ということは嘘である fact14: その蜘蛛膜下腔は地位向上だ fact15: 「もしもその蜘蛛膜下腔は地位向上であるとしたら「その蜘蛛膜下腔は感嘆するが薄口醤油でない」ということは成り立つということはない」ということは確かである fact16: もし仮に薄口醤油は美形であるならばそれは絶え難くない fact17: 「その蜘蛛膜下腔は酷くて加えて踏み締める」ということは事実である fact18: なにかは絶え難いとすると闘争心である fact19: この先遣隊は九月現在である fact20: 「仮に「あの物質中は入力列だ」ということは成り立つとすれば「あの物質中はどうしても欲しい」ということは間違いでない」ということは確かである fact21: もし「「泊り歩かない一方で九月現在である」ということは誤りな」物があるとすればこの無糖は九月現在でない fact22: この残酷さは漏れ易いしその上黄色い
fact2 -> int1: その蜘蛛膜下腔は黄色い; int1 & fact10 -> hypothesis;
この無糖は捜索するしかつ黄色い
fact25 -> int2: 仮にその蜘蛛膜下腔は絶え難いということはないならば「それは闘争心だけど入力列でない」ということは誤りである; fact31 -> int3: もしその蜘蛛膜下腔が薄口醤油で更に美形なら絶え難いということはない; fact32 -> int4: もしも「その蜘蛛膜下腔は感嘆するけれどそれは薄口醤油でない」ということは事実と異なるとしたら薄口醤油である; fact23 & fact33 -> int5: 「その蜘蛛膜下腔は感嘆するけど薄口醤油だということはない」ということは誤っている; int4 & int5 -> int6: その蜘蛛膜下腔は薄口醤油である; int6 & fact29 -> int7: その蜘蛛膜下腔は薄口醤油であってかつ美形である; int3 & int7 -> int8: その蜘蛛膜下腔は絶え難くない; int2 & int8 -> int9: 「その蜘蛛膜下腔は闘争心である一方でそれは入力列でない」ということは間違いである; fact30 & int9 -> int10: 「この無糖は捜索する」ということは成り立つ; fact27 -> int11: もし仮にこの無糖は九月現在でないならばそれは黄色いしさらにどうしても欲しい; fact28 -> int12: もしも「あの物質中は言及する」ということは成り立つなら「泊り歩かないけど九月現在だ」ということは成り立たない; int12 & fact26 -> int13: 「あの物質中は泊り歩かないけれど九月現在だ」ということは成り立つということはない; int13 -> int14: 「「泊り歩かないしかつ九月現在である」ということは成り立つということはない」物はある; int14 & fact24 -> int15: 「この無糖は九月現在でない」ということは確かだ; int11 & int15 -> int16: この無糖は黄色いししかもどうしても欲しい; int16 -> int17: この無糖は黄色い; int10 & int17 -> hypothesis;
$facts$ = fact1: 「「美形である」ということは本当な」ものはある fact2: その蜘蛛膜下腔は黄色いし加えてどうしても欲しい fact3: もしもなんらかのものが九月現在でないとすればそれは黄色くてどうしても欲しい fact4: その蜘蛛膜下腔は美形だ fact5: もし仮にあの物質中はどうしても欲しくないとすると「その蜘蛛膜下腔は黄色いししかも九月現在である」ということは間違いだ fact6: 仮にある物は闘争心であるならば入力列である fact7: もしなにかは絶え難くないとしたら「それは闘争心だけれど入力列でない」ということは偽である fact8: その蜘蛛膜下腔はどうしても欲しい fact9: もしも「とある物は感嘆するけど薄口醤油でない」ということは誤っているとすると薄口醤油だ fact10: その蜘蛛膜下腔は九月現在だ fact11: もしも「「その蜘蛛膜下腔は闘争心だけど入力列でない」ということは真実である」ということは成り立たないとすればこの無糖は捜索する fact12: 「あの物質中は言及する」ということは本当である fact13: もしも何かは言及すれば「それは泊り歩くということはなくてそれは九月現在だ」ということは嘘である fact14: その蜘蛛膜下腔は地位向上だ fact15: 「もしもその蜘蛛膜下腔は地位向上であるとしたら「その蜘蛛膜下腔は感嘆するが薄口醤油でない」ということは成り立つということはない」ということは確かである fact16: もし仮に薄口醤油は美形であるならばそれは絶え難くない fact17: 「その蜘蛛膜下腔は酷くて加えて踏み締める」ということは事実である fact18: なにかは絶え難いとすると闘争心である fact19: この先遣隊は九月現在である fact20: 「仮に「あの物質中は入力列だ」ということは成り立つとすれば「あの物質中はどうしても欲しい」ということは間違いでない」ということは確かである fact21: もし「「泊り歩かない一方で九月現在である」ということは誤りな」物があるとすればこの無糖は九月現在でない fact22: この残酷さは漏れ易いしその上黄色い ; $hypothesis$ = 「その蜘蛛膜下腔は黄色いし九月現在だ」ということは間違いだ ; $proof$ = 
fact2 -> int1: その蜘蛛膜下腔は黄色い; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: 「「美形である」ということは本当な」ものはある
事実2: その蜘蛛膜下腔は黄色いし加えてどうしても欲しい
事実3: もしもなんらかのものが九月現在でないとすればそれは黄色くてどうしても欲しい
事実4: その蜘蛛膜下腔は美形だ
事実5: もし仮にあの物質中はどうしても欲しくないとすると「その蜘蛛膜下腔は黄色いししかも九月現在である」ということは間違いだ
事実6: 仮にある物は闘争心であるならば入力列である
事実7: もしなにかは絶え難くないとしたら「それは闘争心だけれど入力列でない」ということは偽である
事実8: その蜘蛛膜下腔はどうしても欲しい
事実9: もしも「とある物は感嘆するけど薄口醤油でない」ということは誤っているとすると薄口醤油だ
事実10: その蜘蛛膜下腔は九月現在だ
事実11: もしも「「その蜘蛛膜下腔は闘争心だけど入力列でない」ということは真実である」ということは成り立たないとすればこの無糖は捜索する
事実12: 「あの物質中は言及する」ということは本当である
事実13: もしも何かは言及すれば「それは泊り歩くということはなくてそれは九月現在だ」ということは嘘である
事実14: その蜘蛛膜下腔は地位向上だ
事実15: 「もしもその蜘蛛膜下腔は地位向上であるとしたら「その蜘蛛膜下腔は感嘆するが薄口醤油でない」ということは成り立つということはない」ということは確かである
事実16: もし仮に薄口醤油は美形であるならばそれは絶え難くない
事実17: 「その蜘蛛膜下腔は酷くて加えて踏み締める」ということは事実である
事実18: なにかは絶え難いとすると闘争心である
事実19: この先遣隊は九月現在である
事実20: 「仮に「あの物質中は入力列だ」ということは成り立つとすれば「あの物質中はどうしても欲しい」ということは間違いでない」ということは確かである
事実21: もし「「泊り歩かない一方で九月現在である」ということは誤りな」物があるとすればこの無糖は九月現在でない
事実22: この残酷さは漏れ易いしその上黄色い

仮説: 「その蜘蛛膜下腔は黄色いし九月現在だ」ということは間違いだ
1. 事実2から、推論1: "その蜘蛛膜下腔は黄色い"が導かれる
2. 推論1と事実10から、仮説が否定される

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