賢しということは起きない
fact1: 「賢しということが発生するし更にみゆみにゅLv.40事件が生じる」ということは「往診することは起きない」ということが原因だ fact2: 「賢しということは起きない」ということはみゆみにゅLv.40事件および往診することが起こるにより生じる fact3: 利用し難いということとまにゅまよLv.85事件どちらもが起きる fact4: 往診することが生じる fact5: みゆみにゅLv.40事件が発生する
fact5 & fact4 -> int1: みゆみにゅLv.40事件が発生するしかつ往診することが起きる; int1 & fact2 -> hypothesis;
fact5 & fact4 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis;
賢しということが発生する
$facts$ = fact1: 「賢しということが発生するし更にみゆみにゅLv.40事件が生じる」ということは「往診することは起きない」ということが原因だ fact2: 「賢しということは起きない」ということはみゆみにゅLv.40事件および往診することが起こるにより生じる fact3: 利用し難いということとまにゅまよLv.85事件どちらもが起きる fact4: 往診することが生じる fact5: みゆみにゅLv.40事件が発生する ; $hypothesis$ = 賢しということは起きない ; $proof$ = 
fact5 & fact4 -> int1: みゆみにゅLv.40事件が発生するしかつ往診することが起きる; int1 & fact2 -> hypothesis; __PROVED__
fact5 & fact4 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis; __PROVED__