そのみのみちゅLv.20は生み難くない
fact1: あのまえまゆLv.54は生み難い fact2: すべてのモンスターは生み難い
fact2 -> int1: すべてのモンスターは生み難い; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
$facts$ = fact1: あのまえまゆLv.54は生み難い fact2: すべてのモンスターは生み難い ; $hypothesis$ = そのみのみちゅLv.20は生み難くない ; $proof$ = 
fact2 -> int1: すべてのモンスターは生み難い; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__