怪しということは馴染み深いということが起こるということを誘発する
fact1: もわもなLv.63事件は溜まり易いということに帰結する fact2: 奥床しいということは怪しということにより生じる fact3: 知り難しということが生じる fact4: 重視することが起きる fact5: 奥床しいということは馴染み深いということを誘発する
void -> assump1: 以下のように仮定する。怪しということが発生する; fact2 & assump1 -> int1: 奥床しいということが起きる; int1 & fact5 -> int2: 馴染み深いということが起こる; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact2 & assump1 -> int1: {B}; int1 & fact5 -> int2: {C}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もわもなLv.63事件は溜まり易いということに帰結する fact2: 奥床しいということは怪しということにより生じる fact3: 知り難しということが生じる fact4: 重視することが起きる fact5: 奥床しいということは馴染み深いということを誘発する ; $hypothesis$ = 怪しということは馴染み深いということが起こるということを誘発する ; $proof$ = 
void -> assump1: 以下のように仮定する。怪しということが発生する; fact2 & assump1 -> int1: 奥床しいということが起きる; int1 & fact5 -> int2: 馴染み深いということが起こる; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}; fact2 & assump1 -> int1: {B}; int1 & fact5 -> int2: {C}; [assump1] & int2 -> hypothesis; __PROVED__