Colorable Invalid Properties Test