奥床しいということが生じる
fact1: 乱暴することが発生する fact2: 乱暴することとぷのぷのLv.89事件が生じるは奥床しいということを回避する fact3: 「出会い易いということが生じる」ということはぷのぷのLv.89事件は生じないということを回避する fact4: ぷにゅぷいLv.93事件が生じる fact5: ぷにゅぷいLv.93事件が起きるということは出会い易いということに帰結する fact6: 広がることが発生する fact7: 「ぽえぽちょLv.96事件が生じるけど奥床しいということは起きない」ということは乱暴することを回避する
fact5 & fact4 -> int1: 出会い易いということが生じる; int1 & fact3 -> int2: ぷのぷのLv.89事件が発生する; int2 & fact1 -> int3: 乱暴することとぷのぷのLv.89事件両方ともが起きる; int3 & fact2 -> hypothesis;
fact5 & fact4 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact1 -> int3: ({D} & {C}); int3 & fact2 -> hypothesis;
許し難いということが発生する
$facts$ = fact1: 乱暴することが発生する fact2: 乱暴することとぷのぷのLv.89事件が生じるは奥床しいということを回避する fact3: 「出会い易いということが生じる」ということはぷのぷのLv.89事件は生じないということを回避する fact4: ぷにゅぷいLv.93事件が生じる fact5: ぷにゅぷいLv.93事件が起きるということは出会い易いということに帰結する fact6: 広がることが発生する fact7: 「ぽえぽちょLv.96事件が生じるけど奥床しいということは起きない」ということは乱暴することを回避する ; $hypothesis$ = 奥床しいということが生じる ; $proof$ = 
fact5 & fact4 -> int1: 出会い易いということが生じる; int1 & fact3 -> int2: ぷのぷのLv.89事件が発生する; int2 & fact1 -> int3: 乱暴することとぷのぷのLv.89事件両方ともが起きる; int3 & fact2 -> hypothesis; __DISPROVED__
fact5 & fact4 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact1 -> int3: ({D} & {C}); int3 & fact2 -> hypothesis; __DISPROVED__