ぴにょぴやLv.86事件は起きない
fact1: ぽえぽにゅLv.14事件が起きる fact2: 正しということおよび使用し易いということ両方が発生する fact3: もし使用し易いということとぽえぽにゅLv.14事件両方ともが発生すればぴにょぴやLv.86事件は発生しない
fact2 -> int1: 使用し易いということが生じる; int1 & fact1 -> int2: 使用し易いということが生じるしその上ぽえぽにゅLv.14事件が起こる; int2 & fact3 -> hypothesis;
fact2 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis;
$facts$ = fact1: ぽえぽにゅLv.14事件が起きる fact2: 正しということおよび使用し易いということ両方が発生する fact3: もし使用し易いということとぽえぽにゅLv.14事件両方ともが発生すればぴにょぴやLv.86事件は発生しない ; $hypothesis$ = ぴにょぴやLv.86事件は起きない ; $proof$ = 
fact2 -> int1: 使用し易いということが生じる; int1 & fact1 -> int2: 使用し易いということが生じるしその上ぽえぽにゅLv.14事件が起こる; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis; __PROVED__