"n???3, if R is an incompatible set of more than n???1 triplets over n labels, then some proper subset of R is incompatible." . . . .