「「厚しし見え辛い」モンスターはいる」ということは成り立たない
fact1: そのぴやぴのLv.84は看過し難くておまけに厚し fact2: そのぴやぴのLv.84は見え辛い
fact1 -> int1: そのぴやぴのLv.84は厚し; int1 & fact2 -> int2: そのぴやぴのLv.84は厚しししかもそれは見え辛い; int2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 -> hypothesis;
$facts$ = fact1: そのぴやぴのLv.84は看過し難くておまけに厚し fact2: そのぴやぴのLv.84は見え辛い ; $hypothesis$ = 「「厚しし見え辛い」モンスターはいる」ということは成り立たない ; $proof$ = 
fact1 -> int1: そのぴやぴのLv.84は厚し; int1 & fact2 -> int2: そのぴやぴのLv.84は厚しししかもそれは見え辛い; int2 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 -> hypothesis; __DISPROVED__