ぴなぴやLv.34事件が発生する
fact1: みやみにゃLv.60事件と仲睦まじいということが起こるは「ぴなぴやLv.34事件は発生しない」ということをもたらす fact2: 仲睦まじいということが起きる fact3: やばいということとみやみにゃLv.60事件両方が起きる
fact3 -> int1: みやみにゃLv.60事件が生じる; int1 & fact2 -> int2: みやみにゃLv.60事件と仲睦まじいということ両方が起きる; int2 & fact1 -> hypothesis;
fact3 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
$facts$ = fact1: みやみにゃLv.60事件と仲睦まじいということが起こるは「ぴなぴやLv.34事件は発生しない」ということをもたらす fact2: 仲睦まじいということが起きる fact3: やばいということとみやみにゃLv.60事件両方が起きる ; $hypothesis$ = ぴなぴやLv.34事件が発生する ; $proof$ = 
fact3 -> int1: みやみにゃLv.60事件が生じる; int1 & fact2 -> int2: みやみにゃLv.60事件と仲睦まじいということ両方が起きる; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __DISPROVED__