ぴわぴちゅLv.86事件は生じない
fact1: みねみにLv.7事件およびむさくるしいということが生じる fact2: 浅黒いということが起きる fact3: もし「むさくるしいということと浅黒いということ両方が起こる」ということは間違いでないならぴわぴちゅLv.86事件は発生しない
fact1 -> int1: むさくるしいということが発生する; int1 & fact2 -> int2: むさくるしいということおよび浅黒いということが生じる; int2 & fact3 -> hypothesis;
fact1 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis;
$facts$ = fact1: みねみにLv.7事件およびむさくるしいということが生じる fact2: 浅黒いということが起きる fact3: もし「むさくるしいということと浅黒いということ両方が起こる」ということは間違いでないならぴわぴちゅLv.86事件は発生しない ; $hypothesis$ = ぴわぴちゅLv.86事件は生じない ; $proof$ = 
fact1 -> int1: むさくるしいということが発生する; int1 & fact2 -> int2: むさくるしいということおよび浅黒いということが生じる; int2 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis; __PROVED__