このぴにぴにLv.64はねちっこい
fact1: このぴにぴにLv.64は目覚ましい fact2: このぽやぽにLv.24は目覚ましい
fact1 -> int1: このぴにぴにLv.64は目覚ましい;
fact1 -> int1: {A}{a};
$facts$ = fact1: このぴにぴにLv.64は目覚ましい fact2: このぽやぽにLv.24は目覚ましい ; $hypothesis$ = このぴにぴにLv.64はねちっこい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__