もやもよLv.87事件が発生する
fact1: 「ぴよぴえLv.46事件と断定し難いということ両方が起こる」ということはもやもよLv.87事件を阻む fact2: ぴよぴえLv.46事件は生じないということは登り返すことが起きるということに阻止される fact3: 登り返すことが発生する fact4: 断定し難いということが起きる
fact2 & fact3 -> int1: ぴよぴえLv.46事件が発生する; int1 & fact4 -> int2: ぴよぴえLv.46事件および断定し難いということが発生する; int2 & fact1 -> hypothesis;
fact2 & fact3 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 「ぴよぴえLv.46事件と断定し難いということ両方が起こる」ということはもやもよLv.87事件を阻む fact2: ぴよぴえLv.46事件は生じないということは登り返すことが起きるということに阻止される fact3: 登り返すことが発生する fact4: 断定し難いということが起きる ; $hypothesis$ = もやもよLv.87事件が発生する ; $proof$ = 
fact2 & fact3 -> int1: ぴよぴえLv.46事件が発生する; int1 & fact4 -> int2: ぴよぴえLv.46事件および断定し難いということが発生する; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __DISPROVED__