減弱することは発生しない
fact1: 通り難いということは起きないなら減弱することおよびまなまなLv.25事件両方が生じる fact2: 「まなまなLv.25事件が起こるし混和することが起こる」ということは減弱することを阻む fact3: まなまなLv.25事件と通り難いということ両方ともが起きる fact4: 「粉っぽいということは発生しない」ということは「通り難いということは生じないけれど混和することが起きる」ということをもたらす fact5: 混和することが起こる
fact3 -> int1: まなまなLv.25事件が起きる; int1 & fact5 -> int2: まなまなLv.25事件が生じるしかつ混和することが起こる; int2 & fact2 -> hypothesis;
fact3 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis;
減弱することが起きる
$facts$ = fact1: 通り難いということは起きないなら減弱することおよびまなまなLv.25事件両方が生じる fact2: 「まなまなLv.25事件が起こるし混和することが起こる」ということは減弱することを阻む fact3: まなまなLv.25事件と通り難いということ両方ともが起きる fact4: 「粉っぽいということは発生しない」ということは「通り難いということは生じないけれど混和することが起きる」ということをもたらす fact5: 混和することが起こる ; $hypothesis$ = 減弱することは発生しない ; $proof$ = 
fact3 -> int1: まなまなLv.25事件が起きる; int1 & fact5 -> int2: まなまなLv.25事件が生じるしかつ混和することが起こる; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis; __PROVED__