共鳴し合うことは生じない
fact1: もし仮にぽいぽにょLv.79事件は発生しないとしたらぽいぽねLv.76事件が起こるし共鳴し合うことが生じる fact2: ぽいぽねLv.76事件が起きるしさらにぽいぽにょLv.79事件が起こる fact3: ぽいぽにょLv.79事件はおっかしいということが起きるということの原因となる fact4: 「おっかしいということかもしくは捨て難いということかあるいは両方が生じる」ということは共鳴し合うことを回避する
fact2 -> int1: ぽいぽにょLv.79事件が発生する; int1 & fact3 -> int2: おっかしいということが起こる; int2 -> int3: おっかしいということか捨て難いということが生じる; int3 & fact4 -> hypothesis;
fact2 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 -> int3: ({C} v {D}); int3 & fact4 -> hypothesis;
共鳴し合うことが起きる
$facts$ = fact1: もし仮にぽいぽにょLv.79事件は発生しないとしたらぽいぽねLv.76事件が起こるし共鳴し合うことが生じる fact2: ぽいぽねLv.76事件が起きるしさらにぽいぽにょLv.79事件が起こる fact3: ぽいぽにょLv.79事件はおっかしいということが起きるということの原因となる fact4: 「おっかしいということかもしくは捨て難いということかあるいは両方が生じる」ということは共鳴し合うことを回避する ; $hypothesis$ = 共鳴し合うことは生じない ; $proof$ = 
fact2 -> int1: ぽいぽにょLv.79事件が発生する; int1 & fact3 -> int2: おっかしいということが起こる; int2 -> int3: おっかしいということか捨て難いということが生じる; int3 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 -> int3: ({C} v {D}); int3 & fact4 -> hypothesis; __PROVED__