そのぷねぷよLv.32はしどけなくない
fact1: そのぷねぷよLv.32は貧ししさらに賢い
fact1 -> int1: そのぷねぷよLv.32は貧し;
fact1 -> int1: {A}{aa};
$facts$ = fact1: そのぷねぷよLv.32は貧ししさらに賢い ; $hypothesis$ = そのぷねぷよLv.32はしどけなくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__