みやみくLv.14事件が発生するし更に悪いということが起きる
fact1: 分散配置することが起こる fact2: みやみくLv.14事件が生じる fact3: ぴゆぴにゃLv.47事件が起こる fact4: 悪いということが起こるということはぴゆぴにゃLv.47事件に由来する
fact4 & fact3 -> int1: 悪いということが起きる; int1 & fact2 -> hypothesis;
fact4 & fact3 -> int1: {B}; int1 & fact2 -> hypothesis;
$facts$ = fact1: 分散配置することが起こる fact2: みやみくLv.14事件が生じる fact3: ぴゆぴにゃLv.47事件が起こる fact4: 悪いということが起こるということはぴゆぴにゃLv.47事件に由来する ; $hypothesis$ = みやみくLv.14事件が発生するし更に悪いということが起きる ; $proof$ = 
fact4 & fact3 -> int1: 悪いということが起きる; int1 & fact2 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: {B}; int1 & fact2 -> hypothesis; __PROVED__