Colorful Logic 3

New Benchmark