ぽにょぽよLv.72事件と消化吸収され易いということ両方が起きる
fact1: 縦走することは起こらない fact2: もえもちゃLv.15事件が発生する fact3: 「もえもちゃLv.15事件が起こるし縦走することは生じない」ということはぽにょぽよLv.72事件をもたらす fact4: 消化吸収され易いということが発生する
fact2 & fact1 -> int1: 「もえもちゃLv.15事件が生じるし縦走することは起こらない」ということは事実だ; int1 & fact3 -> int2: ぽにょぽよLv.72事件が生じる; int2 & fact4 -> hypothesis;
fact2 & fact1 -> int1: ({A} & ¬{B}); int1 & fact3 -> int2: {C}; int2 & fact4 -> hypothesis;
$facts$ = fact1: 縦走することは起こらない fact2: もえもちゃLv.15事件が発生する fact3: 「もえもちゃLv.15事件が起こるし縦走することは生じない」ということはぽにょぽよLv.72事件をもたらす fact4: 消化吸収され易いということが発生する ; $hypothesis$ = ぽにょぽよLv.72事件と消化吸収され易いということ両方が起きる ; $proof$ = 
fact2 & fact1 -> int1: 「もえもちゃLv.15事件が生じるし縦走することは起こらない」ということは事実だ; int1 & fact3 -> int2: ぽにょぽよLv.72事件が生じる; int2 & fact4 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: ({A} & ¬{B}); int1 & fact3 -> int2: {C}; int2 & fact4 -> hypothesis; __PROVED__