Coloring non-proved sequents