みなみちゃLv.6事件が起きる
fact1: 見初めることが起きるししかもぷわぷよLv.42事件が生じる fact2: 薄っぺらいということとぽにぽやLv.54事件が生じる fact3: 難いということは「みなみちゃLv.6事件は起きない」ということを阻止する
fact1 -> int1: ぷわぷよLv.42事件が発生する;
fact1 -> int1: {B};
$facts$ = fact1: 見初めることが起きるししかもぷわぷよLv.42事件が生じる fact2: 薄っぺらいということとぽにぽやLv.54事件が生じる fact3: 難いということは「みなみちゃLv.6事件は起きない」ということを阻止する ; $hypothesis$ = みなみちゃLv.6事件が起きる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__