従えることは発生しない
fact1: みねみちょLv.97事件は従えることの原因となる fact2: 見分け難いということはみねみちょLv.97事件を引き起こす fact3: 来訪することと見分け難いということが生じる fact4: 来訪することが起きる
fact3 -> int1: 見分け難いということが起きる; int1 & fact2 -> int2: みねみちょLv.97事件が生じる; int2 & fact1 -> hypothesis;
fact3 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact1 -> hypothesis;
$facts$ = fact1: みねみちょLv.97事件は従えることの原因となる fact2: 見分け難いということはみねみちょLv.97事件を引き起こす fact3: 来訪することと見分け難いということが生じる fact4: 来訪することが起きる ; $hypothesis$ = 従えることは発生しない ; $proof$ = 
fact3 -> int1: 見分け難いということが起きる; int1 & fact2 -> int2: みねみちょLv.97事件が生じる; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact1 -> hypothesis; __DISPROVED__