「この編集中は感慨深いかまたは土砂降りであるかあるいはどちらもである」ということは成り立たない
fact1: この編集中は三月期決算であるかあるいは愛し合うかあるいはどちらもである fact2: もし仮にあの暗黙知がＴＶドラマでないとすれば心疾患だ fact3: この親以外は近付き易くない fact4: 近付き易いものは契約者でなくてしかも読み難いということはない fact5: もし仮に「とある物は商人らしくないし読み難くない」ということは成り立つということはないとすると「それは読み難い」ということは真実である fact6: 辛抱強くない物は土砂降りだけれど感慨深くない fact7: この編集中は契約者であるかあるいは憎々しいかまたはどちらもである fact8: もし仮になにがしかのものが一礼しないとすればそれは土砂降りである fact9: もしこの創造的思考は一礼すれば「あの学歴社会は一礼しない」ということは確かである fact10: 近付き易くない物は契約者だし更に辛抱強い fact11: もしもこの編集中が愛し合わないとすればそれは感慨深い fact12: もしもこの親以外が辛抱強いし加えて読み難いならその吾妻連峰は辛抱強くない fact13: 仮にあの学歴社会が一礼しないならばこの親以外は一礼しない fact14: 仮に何らかのものは分かり合うということはないならば「それは奥床しい」ということは確かである fact15: あの特捜は算定するししかも近付き易い fact16: この編集中は思わしい fact17: 仮に「この編集中は一礼するしまたそれは契約者だ」ということは間違っているとしたらそれは一礼するということはない fact18: 「この編集中は感慨深くて御出掛ける」ということは誤りであるとすれば「それは感慨深いということはない」ということは成り立つ fact19: 「この編集中は一礼するしそれは契約者である」ということは成り立つということはない fact20: そのアダージョは一礼するかもしくは恵み深いかあるいはどちらもである fact21: もしもこの親以外は一礼するということはないとしたら「この編集中は感慨深いかもしくは土砂降りであるかあるいは両方だ」ということは成り立たない fact22: このシュレッダーダストは通暁するか土砂降りであるかあるいは両方ともである fact23: 土砂降りは感慨深いということはないとすれば「一礼しない」ということは本当だ
fact8 -> int1: 「仮にこの編集中が一礼しないならこの編集中は土砂降りである」ということは誤りでない; fact17 & fact19 -> int2: この編集中は一礼するということはない; int1 & int2 -> int3: この編集中は土砂降りである; int3 -> hypothesis;
fact8 -> int1: ¬{B}{aa} -> {C}{aa}; fact17 & fact19 -> int2: ¬{B}{aa}; int1 & int2 -> int3: {C}{aa}; int3 -> hypothesis;
「その吾妻連峰は一礼しない」ということは成り立つ
fact29 -> int4: その吾妻連峰は土砂降りだが感慨深くないとすれば「一礼しない」ということは真実だ; fact28 -> int5: その吾妻連峰は辛抱強くないならば「土砂降りだ一方で感慨深くない」ということは真実だ; fact25 -> int6: この親以外が近付き易くないなら契約者だしその上辛抱強い; int6 & fact24 -> int7: この親以外は契約者であるしまた辛抱強い; int7 -> int8: この親以外は辛抱強い; fact26 -> 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: 土砂降りは感慨深いということはないとすれば「一礼しない」ということは本当だ ; $hypothesis$ = 「この編集中は感慨深いかまたは土砂降りであるかあるいはどちらもである」ということは成り立たない ; $proof$ = 
fact8 -> int1: 「仮にこの編集中が一礼しないならこの編集中は土砂降りである」ということは誤りでない; fact17 & fact19 -> int2: この編集中は一礼するということはない; int1 & int2 -> int3: この編集中は土砂降りである; int3 -> 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: 土砂降りは感慨深いということはないとすれば「一礼しない」ということは本当だ

仮説: 「この編集中は感慨深いかまたは土砂降りであるかあるいはどちらもである」ということは成り立たない
1. 事実8から、推論1: "「仮にこの編集中が一礼しないならこの編集中は土砂降りである」ということは誤りでない"が導かれる
2. 事実17と事実19から、推論2: "この編集中は一礼するということはない"が導かれる
3. 推論1と推論2から、推論3: "この編集中は土砂降りである"が導かれる
4. 推論3から、仮説が否定される

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