Liouville type theorems for non-linear differential inequalities on Carnot groups