LearnSmart for The Power of Logic