n-Rational Algebras II. Varieties and Logic of Inequalities