あのみにゅみにゅLv.70はそそらない
fact1: そのぴちゅぴのLv.61はアクセスし易い fact2: 仮になにがしかのモンスターがアクセスし易いならばあのみにゅみにゅLv.70はそそらないが早し
fact1 -> int1: なにがしかのモンスターはアクセスし易い; int1 & fact2 -> int2: あのみにゅみにゅLv.70はそそらないけど早し; int2 -> hypothesis;
fact1 -> int1: (Ex): {A}x; int1 & fact2 -> int2: (¬{C}{a} & {B}{a}); int2 -> hypothesis;
$facts$ = fact1: そのぴちゅぴのLv.61はアクセスし易い fact2: 仮になにがしかのモンスターがアクセスし易いならばあのみにゅみにゅLv.70はそそらないが早し ; $hypothesis$ = あのみにゅみにゅLv.70はそそらない ; $proof$ = 
fact1 -> int1: なにがしかのモンスターはアクセスし易い; int1 & fact2 -> int2: あのみにゅみにゅLv.70はそそらないけど早し; int2 -> hypothesis; __PROVED__
fact1 -> int1: (Ex): {A}x; int1 & fact2 -> int2: (¬{C}{a} & {B}{a}); int2 -> hypothesis; __PROVED__