ぽわぽえLv.16事件かあるいはぴえぴちょLv.82事件かまたは両方ともが起きる
fact1: ぴえぴちょLv.82事件が起こる
fact1 -> int1: ぴえぴちょLv.82事件が起こる; int1 -> hypothesis;
fact1 -> int1: {A}; int1 -> hypothesis;
$facts$ = fact1: ぴえぴちょLv.82事件が起こる ; $hypothesis$ = ぽわぽえLv.16事件かあるいはぴえぴちょLv.82事件かまたは両方ともが起きる ; $proof$ = 
fact1 -> int1: ぴえぴちょLv.82事件が起こる; int1 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 -> hypothesis; __PROVED__