この媒酌は長くない
fact1: もしある物が良いなら浅まし fact2: 「認識要件な」ものはある fact3: 「ねばねばする」物はある fact4: もしも「「あの守貞漫稿が認識要件だということはないしさらにねばねばしない」ということは誤りだ」ということは真実であるならこの媒酌は長い fact5: 「あの守貞漫稿は認識要件だということはないがねばねばする」ということは偽である fact6: この媒酌はねばねばする fact7: もしもあの守貞漫稿は良いとすると「あの己双対理論は浅ましということはないかあるいは甲高くない」ということは事実と異なる fact8: もし「訴う」ものはあるとすると「あの守貞漫稿は認識要件だけどねばねばしない」ということは事実と異なる fact9: そのＤ係が歌い出せばねばねばする fact10: もし何らかの物は訴うなら「あの己双対理論は歌い出すということはなくてそれは良いということはない」ということは誤っている fact11: 「あの守貞漫稿は認識要件であるがねばねばしない」ということは間違いだ fact12: 「あの己双対理論はねばねばしないし加えて訴うない」ということは偽である fact13: 認識要件は甲高い fact14: この打撃系は良い fact15: もし仮にこの供応役が訴うとしたらあの守貞漫稿は良い fact16: その六十年安保は寂しがるし加えて認識要件だ fact17: もし「長い」ものはあるとすれば「この媒酌は浅ましないしその上甲高くない」ということは間違いである fact18: もし「何らかのものは甲高いし加えて歌い出す」ということは成り立たないなら「それは長いということはない」ということは真実だ fact19: そのＤ係は甲高い fact20: 仮になんらかの物は訴うとしたら「あの守貞漫稿は認識要件でなくてまたねばねばするということはない」ということは確かでない fact21: もしも何らかの物が歌い出せば甲高い fact22: そのＤ係は甲高くてそれは歌い出す fact23: もしもそのＤ係が浅ましとすればあの己双対理論は訴う fact24: 仮に何らかの物は歌い出すとすると「それは良い」ということは成り立つ fact25: もしも「訴う」物はあるとしたら「あの守貞漫稿は認識要件でないがしかしそれはねばねばする」ということは間違いである fact26: 仮に「あの己双対理論は浅ましないかまたは甲高くないかもしくはどちらもである」ということは成り立つということはないとするとそのＤ係は甲高くない
fact22 -> int1: 「そのＤ係は歌い出す」ということは確かである; fact24 -> int2: もし仮にそのＤ係は歌い出すとすると「良い」ということは事実である; int1 & int2 -> int3: そのＤ係は良い; fact1 -> int4: もしもそのＤ係が良いならばそれは浅まし; int3 & int4 -> int5: そのＤ係は浅まし; int5 & fact23 -> int6: あの己双対理論は訴う; int6 -> int7: 「訴う」ものはある; int7 & fact20 -> int8: 「「あの守貞漫稿は認識要件でないしその上ねばねばしない」ということは本当だ」ということは偽である; int8 & fact4 -> hypothesis;
「この媒酌は長くない」ということは成り立つ
fact27 -> int9: もし仮に「この媒酌は甲高いししかもそれは歌い出す」ということは本当でないとすると長いということはない;
$facts$ = fact1: もしある物が良いなら浅まし fact2: 「認識要件な」ものはある fact3: 「ねばねばする」物はある fact4: もしも「「あの守貞漫稿が認識要件だということはないしさらにねばねばしない」ということは誤りだ」ということは真実であるならこの媒酌は長い fact5: 「あの守貞漫稿は認識要件だということはないがねばねばする」ということは偽である fact6: この媒酌はねばねばする fact7: もしもあの守貞漫稿は良いとすると「あの己双対理論は浅ましということはないかあるいは甲高くない」ということは事実と異なる fact8: もし「訴う」ものはあるとすると「あの守貞漫稿は認識要件だけどねばねばしない」ということは事実と異なる fact9: そのＤ係が歌い出せばねばねばする fact10: もし何らかの物は訴うなら「あの己双対理論は歌い出すということはなくてそれは良いということはない」ということは誤っている fact11: 「あの守貞漫稿は認識要件であるがねばねばしない」ということは間違いだ fact12: 「あの己双対理論はねばねばしないし加えて訴うない」ということは偽である fact13: 認識要件は甲高い fact14: この打撃系は良い fact15: もし仮にこの供応役が訴うとしたらあの守貞漫稿は良い fact16: その六十年安保は寂しがるし加えて認識要件だ fact17: もし「長い」ものはあるとすれば「この媒酌は浅ましないしその上甲高くない」ということは間違いである fact18: もし「何らかのものは甲高いし加えて歌い出す」ということは成り立たないなら「それは長いということはない」ということは真実だ fact19: そのＤ係は甲高い fact20: 仮になんらかの物は訴うとしたら「あの守貞漫稿は認識要件でなくてまたねばねばするということはない」ということは確かでない fact21: もしも何らかの物が歌い出せば甲高い fact22: そのＤ係は甲高くてそれは歌い出す fact23: もしもそのＤ係が浅ましとすればあの己双対理論は訴う fact24: 仮に何らかの物は歌い出すとすると「それは良い」ということは成り立つ fact25: もしも「訴う」物はあるとしたら「あの守貞漫稿は認識要件でないがしかしそれはねばねばする」ということは間違いである fact26: 仮に「あの己双対理論は浅ましないかまたは甲高くないかもしくはどちらもである」ということは成り立つということはないとするとそのＤ係は甲高くない ; $hypothesis$ = この媒酌は長くない ; $proof$ = 
fact22 -> int1: 「そのＤ係は歌い出す」ということは確かである; fact24 -> int2: もし仮にそのＤ係は歌い出すとすると「良い」ということは事実である; int1 & int2 -> int3: そのＤ係は良い; fact1 -> int4: もしもそのＤ係が良いならばそれは浅まし; int3 & int4 -> int5: そのＤ係は浅まし; int5 & fact23 -> int6: あの己双対理論は訴う; int6 -> int7: 「訴う」ものはある; int7 & fact20 -> int8: 「「あの守貞漫稿は認識要件でないしその上ねばねばしない」ということは本当だ」ということは偽である; int8 & fact4 -> hypothesis; __DISPROVED__
事実1: もしある物が良いなら浅まし
事実2: 「認識要件な」ものはある
事実3: 「ねばねばする」物はある
事実4: もしも「「あの守貞漫稿が認識要件だということはないしさらにねばねばしない」ということは誤りだ」ということは真実であるならこの媒酌は長い
事実5: 「あの守貞漫稿は認識要件だということはないがねばねばする」ということは偽である
事実6: この媒酌はねばねばする
事実7: もしもあの守貞漫稿は良いとすると「あの己双対理論は浅ましということはないかあるいは甲高くない」ということは事実と異なる
事実8: もし「訴う」ものはあるとすると「あの守貞漫稿は認識要件だけどねばねばしない」ということは事実と異なる
事実9: そのＤ係が歌い出せばねばねばする
事実10: もし何らかの物は訴うなら「あの己双対理論は歌い出すということはなくてそれは良いということはない」ということは誤っている
事実11: 「あの守貞漫稿は認識要件であるがねばねばしない」ということは間違いだ
事実12: 「あの己双対理論はねばねばしないし加えて訴うない」ということは偽である
事実13: 認識要件は甲高い
事実14: この打撃系は良い
事実15: もし仮にこの供応役が訴うとしたらあの守貞漫稿は良い
事実16: その六十年安保は寂しがるし加えて認識要件だ
事実17: もし「長い」ものはあるとすれば「この媒酌は浅ましないしその上甲高くない」ということは間違いである
事実18: もし「何らかのものは甲高いし加えて歌い出す」ということは成り立たないなら「それは長いということはない」ということは真実だ
事実19: そのＤ係は甲高い
事実20: 仮になんらかの物は訴うとしたら「あの守貞漫稿は認識要件でなくてまたねばねばするということはない」ということは確かでない
事実21: もしも何らかの物が歌い出せば甲高い
事実22: そのＤ係は甲高くてそれは歌い出す
事実23: もしもそのＤ係が浅ましとすればあの己双対理論は訴う
事実24: 仮に何らかの物は歌い出すとすると「それは良い」ということは成り立つ
事実25: もしも「訴う」物はあるとしたら「あの守貞漫稿は認識要件でないがしかしそれはねばねばする」ということは間違いである
事実26: 仮に「あの己双対理論は浅ましないかまたは甲高くないかもしくはどちらもである」ということは成り立つということはないとするとそのＤ係は甲高くない

仮説: この媒酌は長くない
1. 事実22から、推論1: "「そのＤ係は歌い出す」ということは確かである"が導かれる
2. 事実24から、推論2: "もし仮にそのＤ係は歌い出すとすると「良い」ということは事実である"が導かれる
3. 推論1と推論2から、推論3: "そのＤ係は良い"が導かれる
4. 事実1から、推論4: "もしもそのＤ係が良いならばそれは浅まし"が導かれる
5. 推論3と推論4から、推論5: "そのＤ係は浅まし"が導かれる
6. 推論5と事実23から、推論6: "あの己双対理論は訴う"が導かれる
7. 推論6から、推論7: "「訴う」ものはある"が導かれる
8. 推論7と事実20から、推論8: "「「あの守貞漫稿は認識要件でないしその上ねばねばしない」ということは本当だ」ということは偽である"が導かれる
9. 推論8と事実4から、仮説が否定される

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