取り締まれることが生じる
fact1: 苦々しいということは取り締まれることを発生させる fact2: みねみやLv.69事件が起こる fact3: 「もやもにょLv.60事件が起きる」ということは事実である fact4: 街らしいということが起こるしその上来易いということが起こる fact5: 街らしいということが生じる fact6: もしも街らしいということが発生するとしたら「取り締まれることが起こるがしかし来易いということは生じない」ということは嘘だ fact7: 来易いということは苦々しいということは起きないということを阻む fact8: ぽちょぽやLv.89事件が発生する
fact4 -> int1: 来易いということが生じる; int1 & fact7 -> int2: 苦々しいということが起こる; int2 & fact1 -> hypothesis;
fact4 -> int1: {B}; int1 & fact7 -> int2: {C}; int2 & fact1 -> hypothesis;
取り締まれることは生じない
$facts$ = fact1: 苦々しいということは取り締まれることを発生させる fact2: みねみやLv.69事件が起こる fact3: 「もやもにょLv.60事件が起きる」ということは事実である fact4: 街らしいということが起こるしその上来易いということが起こる fact5: 街らしいということが生じる fact6: もしも街らしいということが発生するとしたら「取り締まれることが起こるがしかし来易いということは生じない」ということは嘘だ fact7: 来易いということは苦々しいということは起きないということを阻む fact8: ぽちょぽやLv.89事件が発生する ; $hypothesis$ = 取り締まれることが生じる ; $proof$ = 
fact4 -> int1: 来易いということが生じる; int1 & fact7 -> int2: 苦々しいということが起こる; int2 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact7 -> int2: {C}; int2 & fact1 -> hypothesis; __PROVED__