この地域限定は洒落臭くない
fact1: 「もしその角觝塚が洒落臭いとしたらこの地域限定は受け入れ易い」ということは成り立つ fact2: もし仮に何らかの物は成功率でないなら入り交じるか文献上であるかまたはどちらもだ fact3: 文献上は足せる fact4: あの弊風が受け入れ易いとしたらその角觝塚は足せる fact5: その角觝塚は受け入れ易い fact6: 仮にその角觝塚が足せればあの弊風は受け入れ易い fact7: この地域限定は足せる fact8: 仮にこの地域限定が受け入れ易いとすればあの角觝塚は足せる fact9: その角觝塚は足せる fact10: もしこの地域限定は足せるなら「あの弊風は洒落臭い」ということは事実だ fact11: その角觝塚は洒落臭い fact12: 仮にその角觝塚が受け入れ易いとしたらあの弊風は足せる fact13: もし仮にあの弊風が足せるとすればこの地域限定は洒落臭い
fact12 & fact5 -> int1: あの弊風は足せる; int1 & fact13 -> hypothesis;
fact12 & fact5 -> int1: {B}{b}; int1 & fact13 -> hypothesis;
この地域限定は洒落臭くない
fact14 -> int2: 仮にその角觝塚は文献上であるならそれは足せる; fact15 -> int3: もしもあの弊風が成功率でないとするとそれは入り交じるかそれは文献上であるかあるいは両方だ;
$facts$ = fact1: 「もしその角觝塚が洒落臭いとしたらこの地域限定は受け入れ易い」ということは成り立つ fact2: もし仮に何らかの物は成功率でないなら入り交じるか文献上であるかまたはどちらもだ fact3: 文献上は足せる fact4: あの弊風が受け入れ易いとしたらその角觝塚は足せる fact5: その角觝塚は受け入れ易い fact6: 仮にその角觝塚が足せればあの弊風は受け入れ易い fact7: この地域限定は足せる fact8: 仮にこの地域限定が受け入れ易いとすればあの角觝塚は足せる fact9: その角觝塚は足せる fact10: もしこの地域限定は足せるなら「あの弊風は洒落臭い」ということは事実だ fact11: その角觝塚は洒落臭い fact12: 仮にその角觝塚が受け入れ易いとしたらあの弊風は足せる fact13: もし仮にあの弊風が足せるとすればこの地域限定は洒落臭い ; $hypothesis$ = この地域限定は洒落臭くない ; $proof$ = 
fact12 & fact5 -> int1: あの弊風は足せる; int1 & fact13 -> hypothesis; __DISPROVED__
事実1: 「もしその角觝塚が洒落臭いとしたらこの地域限定は受け入れ易い」ということは成り立つ
事実2: もし仮に何らかの物は成功率でないなら入り交じるか文献上であるかまたはどちらもだ
事実3: 文献上は足せる
事実4: あの弊風が受け入れ易いとしたらその角觝塚は足せる
事実5: その角觝塚は受け入れ易い
事実6: 仮にその角觝塚が足せればあの弊風は受け入れ易い
事実7: この地域限定は足せる
事実8: 仮にこの地域限定が受け入れ易いとすればあの角觝塚は足せる
事実9: その角觝塚は足せる
事実10: もしこの地域限定は足せるなら「あの弊風は洒落臭い」ということは事実だ
事実11: その角觝塚は洒落臭い
事実12: 仮にその角觝塚が受け入れ易いとしたらあの弊風は足せる
事実13: もし仮にあの弊風が足せるとすればこの地域限定は洒落臭い

仮説: この地域限定は洒落臭くない
1. 事実12と事実5から、推論1: "あの弊風は足せる"が導かれる
2. 推論1と事実13から、仮説が否定される

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