ぽえぽにLv.79事件が起きるということは手荒いということに由来する
fact1: 手荒いということは「まいまにLv.46事件は生じない」ということを回避する fact2: 遠しということが起きる fact3: まいまにLv.46事件はぽえぽにLv.79事件が生じるということに繋がる
void -> assump1: 以下のように仮定する。手荒いということが起こる; fact1 & assump1 -> int1: まいまにLv.46事件が発生する; int1 & fact3 -> int2: ぽえぽにLv.79事件が起こる; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact3 -> int2: {C}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 手荒いということは「まいまにLv.46事件は生じない」ということを回避する fact2: 遠しということが起きる fact3: まいまにLv.46事件はぽえぽにLv.79事件が生じるということに繋がる ; $hypothesis$ = ぽえぽにLv.79事件が起きるということは手荒いということに由来する ; $proof$ = 
void -> assump1: 以下のように仮定する。手荒いということが起こる; fact1 & assump1 -> int1: まいまにLv.46事件が発生する; int1 & fact3 -> int2: ぽえぽにLv.79事件が起こる; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact3 -> int2: {C}; [assump1] & int2 -> hypothesis; __PROVED__