Is that enough? Yes, if the graph is perfect. But no in general. For instance, it is possible for this perfect graph (it is an interval graph). But consider for instance this simple circuit with an odd numbers of nodes. In this case we have to consider inequalities of this type. For all odd circuits C we need to have at most (C-1)/2 stable nodes. So we can introduce a odd cycle inequality describing quite well this problem.