そのぽえぽのLv.23は近付き易くない
fact1: そのぽえぽのLv.23は進め易い fact2: あのぽちゃぽやLv.31は卑しい fact3: あのぽちゃぽやLv.31は卑しいし進め易い fact4: もしもあのぽちゃぽやLv.31が進め易いとするとこのぽにゅぽえLv.98は愛す
fact3 -> int1: 「あのぽちゃぽやLv.31は進め易い」ということは成り立つ; int1 & fact4 -> int2: このぽにゅぽえLv.98は愛す;
fact3 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b};
$facts$ = fact1: そのぽえぽのLv.23は進め易い fact2: あのぽちゃぽやLv.31は卑しい fact3: あのぽちゃぽやLv.31は卑しいし進め易い fact4: もしもあのぽちゃぽやLv.31が進め易いとするとこのぽにゅぽえLv.98は愛す ; $hypothesis$ = そのぽえぽのLv.23は近付き易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__