持ち易いということが起こる
fact1: 「間違え易いということが起きる」ということは成り立つ fact2: 持ち易いということはみちょみにょLv.26事件および間違え易いということが発生するに防がれる fact3: みちょみにょLv.26事件が起こる
fact3 & fact1 -> int1: みちょみにょLv.26事件が生じるし間違え易いということが起きる; int1 & fact2 -> hypothesis;
fact3 & fact1 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis;
$facts$ = fact1: 「間違え易いということが起きる」ということは成り立つ fact2: 持ち易いということはみちょみにょLv.26事件および間違え易いということが発生するに防がれる fact3: みちょみにょLv.26事件が起こる ; $hypothesis$ = 持ち易いということが起こる ; $proof$ = 
fact3 & fact1 -> int1: みちょみにょLv.26事件が生じるし間違え易いということが起きる; int1 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis; __DISPROVED__