このぴくぴにゅLv.55は物寂しいということはないかあるいはバランス良いということはないかまたは両方である
fact1: このぴくぴにゅLv.55は物寂しい fact2: それは物寂しくないかあるいはそれはバランス良いということはないか両方であるというモンスターはない
fact2 -> int1: それは物寂しくないかあるいはそれはバランス良いということはないか両方であるというモンスターはない; int1 -> hypothesis;
fact2 -> int1: (x): ¬(¬{AA}x v ¬{AB}x); int1 -> hypothesis;
$facts$ = fact1: このぴくぴにゅLv.55は物寂しい fact2: それは物寂しくないかあるいはそれはバランス良いということはないか両方であるというモンスターはない ; $hypothesis$ = このぴくぴにゅLv.55は物寂しいということはないかあるいはバランス良いということはないかまたは両方である ; $proof$ = 
fact2 -> int1: それは物寂しくないかあるいはそれはバランス良いということはないか両方であるというモンスターはない; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): ¬(¬{AA}x v ¬{AB}x); int1 -> hypothesis; __DISPROVED__