「この地域的分布は第四楽章だけれど屠殺しない」ということは成り立たない
fact1: もしも「この聞き様はトレーサビリティであるかもしくはそれは敬語論でない」ということは誤っているとしたらこの行儀は敬語論でない fact2: 仮にあのバッファーが狩らない一方で滅び去るとすればこの行儀は口出ししない fact3: もし仮にこの地域的分布が金瓶梅ならばそれは屠殺しない fact4: 「あのバッファーは狩らないがそれは滅び去る」ということは成り立つ fact5: 「もしも「この行儀は罹らないししかも押し入れない」ということは確かでないとすればこの行儀は移封しない」ということは確かだ fact6: この行儀が口出ししないならこの聞き様は増発する fact7: 「この行儀は罹らなくて加えてそれは押し入れるということはない」ということは間違いである fact8: 仮にあのバッファーが増発するならこの人事課長は金瓶梅である fact9: もし「何らかの物は憎々しいがしかし話芸でない」ということは間違っているならそれは話芸だ fact10: もし仮に「この聞き様は太る」ということは事実であるとすればその記念式典は憎々しい fact11: この行儀が話芸であるしその上口出しするならばあのバッファーは口出ししない fact12: もしもこの地域的分布が金瓶梅であるかまたは話芸であるかまたは両方なら屠殺しない fact13: もしなんらかの物が口出ししないとすればそれは増発するし太る fact14: 仮にとあるものは移封しないとすると「憎々しくてまた話芸でない」ということは本当だということはない fact15: 「仮になんらかのものは増発しないならば「それは第四楽章であるしそれは屠殺するということはない」ということは事実だということはない」ということは成り立つ fact16: 仮になんらかのものが敬語論でないとしたらそれが金瓶梅だしそれは口出しする fact17: この地域的分布は第四楽章だ fact18: あのバッファーが増発するし太ればこの地域的分布は増発しない fact19: あのバッファーは狩らない fact20: もしも「その記念式典は憎々しい」ということは本当だとすればあの地域的分布は話芸だ fact21: 仮にこの聞き様が増発するとすればそれは太る fact22: もしあのバッファーが狩るしまた滅び去るならこの行儀は口出ししない
fact2 & fact4 -> int1: この行儀は口出ししない; int1 & fact6 -> int2: この聞き様は増発する; int2 & fact21 -> int3: この聞き様は太る; int3 & fact10 -> int4: 「その記念式典は憎々しい」ということは真実である; int4 & fact20 -> int5: 「この地域的分布は話芸である」ということは事実だ; int5 -> int6: この地域的分布は金瓶梅であるかあるいは話芸であるかあるいはどちらもだ; int6 & fact12 -> int7: この地域的分布は屠殺するということはない; int7 & fact17 -> hypothesis;
「この地域的分布は第四楽章であるが屠殺しない」ということは成り立たない
fact31 -> int8: この地域的分布は増発しないとすれば「第四楽章であるけど屠殺しない」ということは誤りだ; fact27 -> int9: もし仮にあのバッファーが口出ししないとしたらそれは増発するしまた太る; fact29 -> int10: もし仮に「この行儀は憎々しいがしかし話芸でない」ということは成り立たないなら話芸だ; fact23 -> int11: この行儀は移封しないとしたら「憎々しい一方で話芸でない」ということは誤っている; fact25 & fact28 -> int12: この行儀は移封しない; int11 & int12 -> int13: 「この行儀は憎々しいけれど話芸でない」ということは成り立たない; int10 & int13 -> int14: この行儀は話芸だ; fact26 -> int15: この行儀は敬語論でないとするとそれは金瓶梅で口出しする;
$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 & fact4 -> int1: この行儀は口出ししない; int1 & fact6 -> int2: この聞き様は増発する; int2 & fact21 -> int3: この聞き様は太る; int3 & fact10 -> int4: 「その記念式典は憎々しい」ということは真実である; int4 & fact20 -> int5: 「この地域的分布は話芸である」ということは事実だ; int5 -> int6: この地域的分布は金瓶梅であるかあるいは話芸であるかあるいはどちらもだ; int6 & fact12 -> int7: この地域的分布は屠殺するということはない; int7 & fact17 -> 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と事実4から、推論1: "この行儀は口出ししない"が導かれる
2. 推論1と事実6から、推論2: "この聞き様は増発する"が導かれる
3. 推論2と事実21から、推論3: "この聞き様は太る"が導かれる
4. 推論3と事実10から、推論4: "「その記念式典は憎々しい」ということは真実である"が導かれる
5. 推論4と事実20から、推論5: "「この地域的分布は話芸である」ということは事実だ"が導かれる
6. 推論5から、推論6: "この地域的分布は金瓶梅であるかあるいは話芸であるかあるいはどちらもだ"が導かれる
7. 推論6と事実12から、推論7: "この地域的分布は屠殺するということはない"が導かれる
8. 推論7と事実17から、仮説が否定される

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