そのぽえぽちょLv.61は起こし易くないかあるいは良いかもしくは両方である
fact1: 詰まり易いということはないかまたは胡散臭いかあるいはどちらもであるというモンスターはない fact2: 起こし易くないかまたは良いかまたは両方ともであるモンスターはない
fact2 -> int1: 起こし易くないかまたは良いかまたは両方ともであるモンスターはない; int1 -> hypothesis;
fact2 -> int1: (x): ¬(¬{AA}x v {AB}x); int1 -> hypothesis;
$facts$ = fact1: 詰まり易いということはないかまたは胡散臭いかあるいはどちらもであるというモンスターはない fact2: 起こし易くないかまたは良いかまたは両方ともであるモンスターはない ; $hypothesis$ = そのぽえぽちょLv.61は起こし易くないかあるいは良いかもしくは両方である ; $proof$ = 
fact2 -> int1: 起こし易くないかまたは良いかまたは両方ともであるモンスターはない; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): ¬(¬{AA}x v {AB}x); int1 -> hypothesis; __DISPROVED__