Chinese Logic

New Benchmark