まちゃまにょLv.36事件は御預けに成ることを誘発する
fact1: 判別し易いということが起こる fact2: もわもよLv.22事件は得られ難いということに引き起こされる fact3: 折れ易いということが発生する fact4: 「御預けに成ることは起きない」ということはみくみなLv.96事件に阻まれる fact5: もくもにLv.61事件が起きる fact6: みくみなLv.96事件がまちゃまにょLv.36事件はきっかけだ
void -> assump1: 以下のように仮定する。まちゃまにょLv.36事件が生じる; fact6 & assump1 -> int1: 「みくみなLv.96事件が生じる」ということは本当だ; int1 & fact4 -> int2: 御預けに成ることが発生する; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact6 & assump1 -> int1: {B}; int1 & fact4 -> int2: {C}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 判別し易いということが起こる fact2: もわもよLv.22事件は得られ難いということに引き起こされる fact3: 折れ易いということが発生する fact4: 「御預けに成ることは起きない」ということはみくみなLv.96事件に阻まれる fact5: もくもにLv.61事件が起きる fact6: みくみなLv.96事件がまちゃまにょLv.36事件はきっかけだ ; $hypothesis$ = まちゃまにょLv.36事件は御預けに成ることを誘発する ; $proof$ = 
void -> assump1: 以下のように仮定する。まちゃまにょLv.36事件が生じる; fact6 & assump1 -> int1: 「みくみなLv.96事件が生じる」ということは本当だ; int1 & fact4 -> int2: 御預けに成ることが発生する; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}; fact6 & assump1 -> int1: {B}; int1 & fact4 -> int2: {C}; [assump1] & int2 -> hypothesis; __PROVED__