The immediate lesson is that we cannot use all kinds of weird predicates to formulate hypotheses or to classify our evidence. Some predicates (which are the ones like “green”) can be used for this; other predicates (the ones like “grue”) must be excluded, if induction is supposed to make any sense. This already is an interesting result. For valid inductive inferences the choice of predicates matters. 