程遠いということは発生しない
fact1: 「みよみちゅLv.66事件およびまゆまなLv.12事件両方ともが起きる」ということは「程遠いということは生じない」ということのきっかけとなる fact2: 鑑賞し易いということが生じる fact3: まゆまなLv.12事件が生じる fact4: みよみちゅLv.66事件と鑑賞し易いということが起こる
fact4 -> int1: みよみちゅLv.66事件が生じる; int1 & fact3 -> int2: みよみちゅLv.66事件およびまゆまなLv.12事件が生じる; int2 & fact1 -> hypothesis;
fact4 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 「みよみちゅLv.66事件およびまゆまなLv.12事件両方ともが起きる」ということは「程遠いということは生じない」ということのきっかけとなる fact2: 鑑賞し易いということが生じる fact3: まゆまなLv.12事件が生じる fact4: みよみちゅLv.66事件と鑑賞し易いということが起こる ; $hypothesis$ = 程遠いということは発生しない ; $proof$ = 
fact4 -> int1: みよみちゅLv.66事件が生じる; int1 & fact3 -> int2: みよみちゅLv.66事件およびまゆまなLv.12事件が生じる; int2 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis; __PROVED__