親しみ易いということは生じない
fact1: 発生し始めることが起こる fact2: 親しみ易いということおよび発生し始めることどちらもが生じるならもにゅもなLv.32事件は起きない
void -> assump1: 以下のように仮定する。親しみ易いということが起きる; assump1 & fact1 -> int1: 親しみ易いということおよび発生し始めることどちらもが発生する; int1 & fact2 -> int2: もにゅもなLv.32事件は起こらない;
void -> assump1: {A}; assump1 & fact1 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C};
$facts$ = fact1: 発生し始めることが起こる fact2: 親しみ易いということおよび発生し始めることどちらもが生じるならもにゅもなLv.32事件は起きない ; $hypothesis$ = 親しみ易いということは生じない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__