どす黒いということが起こる
fact1: どす黒いということはぷえぷちょLv.58事件およびぴよぴちょLv.18事件が生じるに防がれる fact2: ぷちゃぷえLv.4事件が生じる fact3: ぷちゃぷえLv.4事件とぴよぴちょLv.18事件両方が起きる
fact3 -> int1: ぴよぴちょLv.18事件が起こる;
fact3 -> int1: {B};
$facts$ = fact1: どす黒いということはぷえぷちょLv.58事件およびぴよぴちょLv.18事件が生じるに防がれる fact2: ぷちゃぷえLv.4事件が生じる fact3: ぷちゃぷえLv.4事件とぴよぴちょLv.18事件両方が起きる ; $hypothesis$ = どす黒いということが起こる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__