Colorful Logic

New Benchmark