「このエンドは合祀しない」ということは成り立つ
fact1: そのてんやわんやは気まずい fact2: 「このエンドは置き易い」ということは成り立つ fact3: あの没収が掛け難いということはないとすればこのエンドは気まずい fact4: もしもあの没収が置き易いとすると掛け難くない fact5: もし仮にあの対側乳房が役らしいがそれが掛け難くないとしたらあの輸送中は掛け難い fact6: あるものが掛け難いとしたらこのエンドは掛け難いかもしくは置き易いかまたはどちらもである fact7: 「あの大八車は掛け難い」ということは成り立つ fact8: 仮になんらかの物が合祀すればそれは役らしいしまたそれは掛け難くない fact9: この疾病入院特約は目減りする fact10: この疾病入院特約が反対でないとしたらあの対側乳房は伝え難くて合祀する fact11: もしも何らかのものが有性生殖するがしかしそれは楽しないなら「それは反対でない」ということは正しい fact12: 「気まずい物は合祀する」ということは本当だ fact13: あの没収は置き易い fact14: もしもなにがしかの物が目減りするなら有性生殖するけれど楽しない fact15: もし仮にあの没収が置き易いということはないしその上掛け難くないとすればこのエンドは合祀しない
fact4 & fact13 -> int1: あの没収は掛け難くない; int1 & fact3 -> int2: このエンドは気まずい; fact12 -> int3: もし仮にこのエンドが気まずいとすればそれは合祀する; int2 & int3 -> hypothesis;
fact4 & fact13 -> int1: ¬{B}{a}; int1 & fact3 -> int2: {C}{b}; fact12 -> int3: {C}{b} -> {D}{b}; int2 & int3 -> hypothesis;
「あの没収は気まずくない」ということは偽だ
fact17 -> int4: あの対側乳房が合祀すればそれは役らしいけれど掛け難くない; fact20 -> int5: この疾病入院特約は有性生殖するけれど楽しということはないとするとそれは反対でない; fact21 -> int6: もしこの疾病入院特約が目減りするなら有性生殖する一方で楽しない; int6 & fact19 -> int7: この疾病入院特約は有性生殖するけれどそれは楽しない; int5 & int7 -> int8: 「この疾病入院特約は反対でない」ということは事実である; fact22 & int8 -> int9: あの対側乳房は伝え難いしさらに合祀する; int9 -> int10: 「あの対側乳房は合祀する」ということは成り立つ; int4 & int10 -> int11: あの対側乳房は役らしい一方でそれは掛け難いということはない; fact16 & int11 -> int12: あの輸送中は掛け難い; int12 -> int13: あるものは掛け難い; int13 & fact18 -> int14: このエンドは掛け難いかもしくはそれは置き易い;
$facts$ = fact1: そのてんやわんやは気まずい fact2: 「このエンドは置き易い」ということは成り立つ fact3: あの没収が掛け難いということはないとすればこのエンドは気まずい fact4: もしもあの没収が置き易いとすると掛け難くない fact5: もし仮にあの対側乳房が役らしいがそれが掛け難くないとしたらあの輸送中は掛け難い fact6: あるものが掛け難いとしたらこのエンドは掛け難いかもしくは置き易いかまたはどちらもである fact7: 「あの大八車は掛け難い」ということは成り立つ fact8: 仮になんらかの物が合祀すればそれは役らしいしまたそれは掛け難くない fact9: この疾病入院特約は目減りする fact10: この疾病入院特約が反対でないとしたらあの対側乳房は伝え難くて合祀する fact11: もしも何らかのものが有性生殖するがしかしそれは楽しないなら「それは反対でない」ということは正しい fact12: 「気まずい物は合祀する」ということは本当だ fact13: あの没収は置き易い fact14: もしもなにがしかの物が目減りするなら有性生殖するけれど楽しない fact15: もし仮にあの没収が置き易いということはないしその上掛け難くないとすればこのエンドは合祀しない ; $hypothesis$ = 「このエンドは合祀しない」ということは成り立つ ; $proof$ = 
fact4 & fact13 -> int1: あの没収は掛け難くない; int1 & fact3 -> int2: このエンドは気まずい; fact12 -> int3: もし仮にこのエンドが気まずいとすればそれは合祀する; int2 & int3 -> hypothesis; __DISPROVED__
事実1: そのてんやわんやは気まずい
事実2: 「このエンドは置き易い」ということは成り立つ
事実3: あの没収が掛け難いということはないとすればこのエンドは気まずい
事実4: もしもあの没収が置き易いとすると掛け難くない
事実5: もし仮にあの対側乳房が役らしいがそれが掛け難くないとしたらあの輸送中は掛け難い
事実6: あるものが掛け難いとしたらこのエンドは掛け難いかもしくは置き易いかまたはどちらもである
事実7: 「あの大八車は掛け難い」ということは成り立つ
事実8: 仮になんらかの物が合祀すればそれは役らしいしまたそれは掛け難くない
事実9: この疾病入院特約は目減りする
事実10: この疾病入院特約が反対でないとしたらあの対側乳房は伝え難くて合祀する
事実11: もしも何らかのものが有性生殖するがしかしそれは楽しないなら「それは反対でない」ということは正しい
事実12: 「気まずい物は合祀する」ということは本当だ
事実13: あの没収は置き易い
事実14: もしもなにがしかの物が目減りするなら有性生殖するけれど楽しない
事実15: もし仮にあの没収が置き易いということはないしその上掛け難くないとすればこのエンドは合祀しない

仮説: 「このエンドは合祀しない」ということは成り立つ
1. 事実4と事実13から、推論1: "あの没収は掛け難くない"が導かれる
2. 推論1と事実3から、推論2: "このエンドは気まずい"が導かれる
3. 事実12から、推論3: "もし仮にこのエンドが気まずいとすればそれは合祀する"が導かれる
4. 推論2と推論3から、仮説が否定される

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