あのぷくぷゆLv.26は生易しいということはない
fact1: あのぷくぷゆLv.26は若いしすげない fact2: あのぷくぷゆLv.26はすげない
fact1 -> int1: あのぷくぷゆLv.26は若い;
fact1 -> int1: {A}{a};
$facts$ = fact1: あのぷくぷゆLv.26は若いしすげない fact2: あのぷくぷゆLv.26はすげない ; $hypothesis$ = あのぷくぷゆLv.26は生易しいということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__