ぽゆぽにょLv.59事件は起こらない
fact1: 残り易いということは起こらない fact2: 残り易いということは起きないということは「攻撃し易いということが起きるし納得し難いということが発生する」ということを引き起こす fact3: 「攻撃し易いということが起きるし拉致することが生じる」ということはぽゆぽにょLv.59事件は生じないということの原因となる fact4: 拉致することが発生する
fact1 & fact2 -> int1: 攻撃し易いということが発生するし納得し難いということが起こる; int1 -> int2: 攻撃し易いということが起きる; int2 & fact4 -> int3: 攻撃し易いということが発生するし拉致することが起こる; int3 & fact3 -> hypothesis;
fact1 & fact2 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact4 -> int3: ({A} & {C}); int3 & fact3 -> hypothesis;
$facts$ = fact1: 残り易いということは起こらない fact2: 残り易いということは起きないということは「攻撃し易いということが起きるし納得し難いということが発生する」ということを引き起こす fact3: 「攻撃し易いということが起きるし拉致することが生じる」ということはぽゆぽにょLv.59事件は生じないということの原因となる fact4: 拉致することが発生する ; $hypothesis$ = ぽゆぽにょLv.59事件は起こらない ; $proof$ = 
fact1 & fact2 -> int1: 攻撃し易いということが発生するし納得し難いということが起こる; int1 -> int2: 攻撃し易いということが起きる; int2 & fact4 -> int3: 攻撃し易いということが発生するし拉致することが起こる; int3 & fact3 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact4 -> int3: ({A} & {C}); int3 & fact3 -> hypothesis; __PROVED__