あの売り上げ拡大は把握し難くない
fact1: もしその掘っ立ては把握し難いならば「あの萎縮効果は寄る辺無くなくて焼け死なない」ということは偽である fact2: もしもその掘っ立てが寄る辺無いとするとあの売り上げ拡大は把握し難い fact3: その掘っ立ては持ち物である fact4: もしもその掘っ立てが把握し難いとするとあの売り上げ拡大は焼け死ぬ fact5: その掘っ立てが寄る辺無いならばあの売り上げ拡大は焼け死ぬ fact6: その掘っ立ては寄る辺無いかそれは焼け死ぬかあるいはどちらもである fact7: もし「その掘っ立ては寄る辺無いが把握し難くない」ということは間違っているとすると「あの売り上げ拡大は把握し難くない」ということは成り立つ fact8: もし仮にその掘っ立てが焼け死ぬならあの売り上げ拡大は把握し難い
fact6 & fact2 & fact8 -> hypothesis;
fact6 & fact2 & fact8 -> hypothesis;
あの売り上げ拡大は把握し難いということはない
$facts$ = fact1: もしその掘っ立ては把握し難いならば「あの萎縮効果は寄る辺無くなくて焼け死なない」ということは偽である fact2: もしもその掘っ立てが寄る辺無いとするとあの売り上げ拡大は把握し難い fact3: その掘っ立ては持ち物である fact4: もしもその掘っ立てが把握し難いとするとあの売り上げ拡大は焼け死ぬ fact5: その掘っ立てが寄る辺無いならばあの売り上げ拡大は焼け死ぬ fact6: その掘っ立ては寄る辺無いかそれは焼け死ぬかあるいはどちらもである fact7: もし「その掘っ立ては寄る辺無いが把握し難くない」ということは間違っているとすると「あの売り上げ拡大は把握し難くない」ということは成り立つ fact8: もし仮にその掘っ立てが焼け死ぬならあの売り上げ拡大は把握し難い ; $hypothesis$ = あの売り上げ拡大は把握し難くない ; $proof$ = 
fact6 & fact2 & fact8 -> hypothesis; __DISPROVED__
事実1: もしその掘っ立ては把握し難いならば「あの萎縮効果は寄る辺無くなくて焼け死なない」ということは偽である
事実2: もしもその掘っ立てが寄る辺無いとするとあの売り上げ拡大は把握し難い
事実3: その掘っ立ては持ち物である
事実4: もしもその掘っ立てが把握し難いとするとあの売り上げ拡大は焼け死ぬ
事実5: その掘っ立てが寄る辺無いならばあの売り上げ拡大は焼け死ぬ
事実6: その掘っ立ては寄る辺無いかそれは焼け死ぬかあるいはどちらもである
事実7: もし「その掘っ立ては寄る辺無いが把握し難くない」ということは間違っているとすると「あの売り上げ拡大は把握し難くない」ということは成り立つ
事実8: もし仮にその掘っ立てが焼け死ぬならあの売り上げ拡大は把握し難い

仮説: あの売り上げ拡大は把握し難くない
1. 事実6と事実2と事実8から、仮説が否定される

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