ぽちょぽわLv.34事件が起きる
fact1: みにゃみにLv.89事件は「ぽちょぽわLv.34事件は発生しない」ということを防ぐ fact2: 少なしということが起きるしかつみにゃみにLv.89事件が生じる
fact2 -> int1: みにゃみにLv.89事件が起きる; int1 & fact1 -> hypothesis;
fact2 -> int1: {B}; int1 & fact1 -> hypothesis;
$facts$ = fact1: みにゃみにLv.89事件は「ぽちょぽわLv.34事件は発生しない」ということを防ぐ fact2: 少なしということが起きるしかつみにゃみにLv.89事件が生じる ; $hypothesis$ = ぽちょぽわLv.34事件が起きる ; $proof$ = 
fact2 -> int1: みにゃみにLv.89事件が起きる; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {B}; int1 & fact1 -> hypothesis; __PROVED__