ぽにゅぽやLv.50事件は起きない
fact1: 「ぽにゅぽやLv.50事件は発生しない」ということはぴやぴよLv.46事件および近いということが起こるがきっかけだ fact2: 課税することが起きる fact3: みなみいLv.6事件は起きないということは近いということは発生しないということを誘発する fact4: もしも課税することが生じるならぴやぴよLv.46事件が起こる fact5: 近いということが発生する
fact4 & fact2 -> int1: ぴやぴよLv.46事件が生じる; int1 & fact5 -> int2: ぴやぴよLv.46事件が起きるしその上近いということが発生する; int2 & fact1 -> hypothesis;
fact4 & fact2 -> int1: {B}; int1 & fact5 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
ぽにゅぽやLv.50事件が発生する
$facts$ = fact1: 「ぽにゅぽやLv.50事件は発生しない」ということはぴやぴよLv.46事件および近いということが起こるがきっかけだ fact2: 課税することが起きる fact3: みなみいLv.6事件は起きないということは近いということは発生しないということを誘発する fact4: もしも課税することが生じるならぴやぴよLv.46事件が起こる fact5: 近いということが発生する ; $hypothesis$ = ぽにゅぽやLv.50事件は起きない ; $proof$ = 
fact4 & fact2 -> int1: ぴやぴよLv.46事件が生じる; int1 & fact5 -> int2: ぴやぴよLv.46事件が起きるしその上近いということが発生する; int2 & fact1 -> hypothesis; __PROVED__
fact4 & fact2 -> int1: {B}; int1 & fact5 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __PROVED__