この浅草側は捌きでない
fact1: 「得られ易い物は捌きである」ということは偽でない fact2: もし仮に「なんらかの物は捌きであるしまたスタートす」ということは偽であるなら捌きであるということはない fact3: もし仮にこの知り様が故無いとするとこの食わせ物は利き難い fact4: 「この毒殺はスタートす」ということは成り立つ fact5: もしもこの食わせ物が利き難いならばこの浅草側は得られ易い fact6: この知り様はスタートすしさらにそれは故無い
fact6 -> int1: 「この知り様は故無い」ということは事実だ; int1 & fact3 -> int2: この食わせ物は利き難い; int2 & fact5 -> int3: この浅草側は得られ易い; fact1 -> int4: もしもこの浅草側が得られ易いとするとそれは捌きである; int3 & int4 -> hypothesis;
この浅草側は捌きでない
fact7 -> int5: 仮に「この浅草側は捌きでそれにスタートす」ということは誤りだとすれば捌きでない;
$facts$ = fact1: 「得られ易い物は捌きである」ということは偽でない fact2: もし仮に「なんらかの物は捌きであるしまたスタートす」ということは偽であるなら捌きであるということはない fact3: もし仮にこの知り様が故無いとするとこの食わせ物は利き難い fact4: 「この毒殺はスタートす」ということは成り立つ fact5: もしもこの食わせ物が利き難いならばこの浅草側は得られ易い fact6: この知り様はスタートすしさらにそれは故無い ; $hypothesis$ = この浅草側は捌きでない ; $proof$ = 
fact6 -> int1: 「この知り様は故無い」ということは事実だ; int1 & fact3 -> int2: この食わせ物は利き難い; int2 & fact5 -> int3: この浅草側は得られ易い; fact1 -> int4: もしもこの浅草側が得られ易いとするとそれは捌きである; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 「得られ易い物は捌きである」ということは偽でない
事実2: もし仮に「なんらかの物は捌きであるしまたスタートす」ということは偽であるなら捌きであるということはない
事実3: もし仮にこの知り様が故無いとするとこの食わせ物は利き難い
事実4: 「この毒殺はスタートす」ということは成り立つ
事実5: もしもこの食わせ物が利き難いならばこの浅草側は得られ易い
事実6: この知り様はスタートすしさらにそれは故無い

仮説: この浅草側は捌きでない
1. 事実6から、推論1: "「この知り様は故無い」ということは事実だ"が導かれる
2. 推論1と事実3から、推論2: "この食わせ物は利き難い"が導かれる
3. 推論2と事実5から、推論3: "この浅草側は得られ易い"が導かれる
4. 事実1から、推論4: "もしもこの浅草側が得られ易いとするとそれは捌きである"が導かれる
5. 推論3と推論4から、仮説が否定される

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