「住み易いということとみちゅみちゃLv.51事件どちらもが生じる」ということは成り立たない
fact1: みちゅみちゃLv.51事件が発生する fact2: 住み易いということが起きる
fact2 -> int1: 住み易いということが起きる; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> hypothesis;
$facts$ = fact1: みちゅみちゃLv.51事件が発生する fact2: 住み易いということが起きる ; $hypothesis$ = 「住み易いということとみちゅみちゃLv.51事件どちらもが生じる」ということは成り立たない ; $proof$ = 
fact2 -> int1: 住み易いということが起きる; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact1 -> hypothesis; __DISPROVED__