「あの堪え性は終了日である」ということは成り立つ
fact1: 仮にそのチェーン店は終了日だということはないとすれば「それは実行し易くないし加えてそれは通り難いということはない」ということは嘘だ fact2: 「そのチェーン店はぱらつかなくておまけに込み合わない」ということは事実でないとするとあの堪え性は終了日でない fact3: もしなにかは通り難いならば得られ易い fact4: 得られ易い物は実行し易くないし日がなでない fact5: あの堪え性は疑り深くない fact6: もしそのチェーン店は日がなでないならば「ぱらつくがしかし込み合わない」ということは間違っている fact7: そのチェーン店は通り難くてかつ疑り深い fact8: 「あの堪え性は込み合う」ということは成り立つならそれは終了日でなくて疑り深くない fact9: 仮になんらかの物は日がなだということはないとしたら「それはぱらつかなくておまけに込み合うということはない」ということは成り立たない fact10: 仮にそのチェーン店が疑り深くないとするとあの堪え性は終了日だしその上通り難い
fact7 -> int1: そのチェーン店は通り難い; fact3 -> int2: もしそのチェーン店が通り難いとすればそれは得られ易い; int1 & int2 -> int3: そのチェーン店は得られ易い; fact4 -> int4: そのチェーン店は得られ易いならば「それは実行し易くないしおまけに日がなでない」ということは事実である; int3 & int4 -> int5: そのチェーン店は実行し易くないし日がなでない; int5 -> int6: 「そのチェーン店は日がなでない」ということは成り立つ; fact9 -> int7: 仮に「そのチェーン店は日がなでない」ということは確かであるとすると「それがぱらつかないしさらに込み合うということはない」ということは成り立たない; int6 & int7 -> int8: 「そのチェーン店はぱらつかないしおまけに込み合わない」ということは事実と異なる; int8 & fact2 -> hypothesis;
あの堪え性は終了日だ
$facts$ = fact1: 仮にそのチェーン店は終了日だということはないとすれば「それは実行し易くないし加えてそれは通り難いということはない」ということは嘘だ fact2: 「そのチェーン店はぱらつかなくておまけに込み合わない」ということは事実でないとするとあの堪え性は終了日でない fact3: もしなにかは通り難いならば得られ易い fact4: 得られ易い物は実行し易くないし日がなでない fact5: あの堪え性は疑り深くない fact6: もしそのチェーン店は日がなでないならば「ぱらつくがしかし込み合わない」ということは間違っている fact7: そのチェーン店は通り難くてかつ疑り深い fact8: 「あの堪え性は込み合う」ということは成り立つならそれは終了日でなくて疑り深くない fact9: 仮になんらかの物は日がなだということはないとしたら「それはぱらつかなくておまけに込み合うということはない」ということは成り立たない fact10: 仮にそのチェーン店が疑り深くないとするとあの堪え性は終了日だしその上通り難い ; $hypothesis$ = 「あの堪え性は終了日である」ということは成り立つ ; $proof$ = 
fact7 -> int1: そのチェーン店は通り難い; fact3 -> int2: もしそのチェーン店が通り難いとすればそれは得られ易い; int1 & int2 -> int3: そのチェーン店は得られ易い; fact4 -> int4: そのチェーン店は得られ易いならば「それは実行し易くないしおまけに日がなでない」ということは事実である; int3 & int4 -> int5: そのチェーン店は実行し易くないし日がなでない; int5 -> int6: 「そのチェーン店は日がなでない」ということは成り立つ; fact9 -> int7: 仮に「そのチェーン店は日がなでない」ということは確かであるとすると「それがぱらつかないしさらに込み合うということはない」ということは成り立たない; int6 & int7 -> int8: 「そのチェーン店はぱらつかないしおまけに込み合わない」ということは事実と異なる; int8 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にそのチェーン店は終了日だということはないとすれば「それは実行し易くないし加えてそれは通り難いということはない」ということは嘘だ
事実2: 「そのチェーン店はぱらつかなくておまけに込み合わない」ということは事実でないとするとあの堪え性は終了日でない
事実3: もしなにかは通り難いならば得られ易い
事実4: 得られ易い物は実行し易くないし日がなでない
事実5: あの堪え性は疑り深くない
事実6: もしそのチェーン店は日がなでないならば「ぱらつくがしかし込み合わない」ということは間違っている
事実7: そのチェーン店は通り難くてかつ疑り深い
事実8: 「あの堪え性は込み合う」ということは成り立つならそれは終了日でなくて疑り深くない
事実9: 仮になんらかの物は日がなだということはないとしたら「それはぱらつかなくておまけに込み合うということはない」ということは成り立たない
事実10: 仮にそのチェーン店が疑り深くないとするとあの堪え性は終了日だしその上通り難い

仮説: 「あの堪え性は終了日である」ということは成り立つ
1. 事実7から、推論1: "そのチェーン店は通り難い"が導かれる
2. 事実3から、推論2: "もしそのチェーン店が通り難いとすればそれは得られ易い"が導かれる
3. 推論1と推論2から、推論3: "そのチェーン店は得られ易い"が導かれる
4. 事実4から、推論4: "そのチェーン店は得られ易いならば「それは実行し易くないしおまけに日がなでない」ということは事実である"が導かれる
5. 推論3と推論4から、推論5: "そのチェーン店は実行し易くないし日がなでない"が導かれる
6. 推論5から、推論6: "「そのチェーン店は日がなでない」ということは成り立つ"が導かれる
7. 事実9から、推論7: "仮に「そのチェーン店は日がなでない」ということは確かであるとすると「それがぱらつかないしさらに込み合うということはない」ということは成り立たない"が導かれる
8. 推論6と推論7から、推論8: "「そのチェーン店はぱらつかないしおまけに込み合わない」ということは事実と異なる"が導かれる
9. 推論8と事実2から、仮説が否定される

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