A negative partition relation.

If the continuum hypothesis is assumed, there is a graph G whose vertices form an ordered set of type omega(1) (2); G does not contain triangles or complete even graphs of form [[unk](0),[unk](0)], and there is no independent subset of vertices of type omega(1) (2).