Anne is nice. Anne is red. Charlie is blue. Charlie is green. Charlie is nice. Charlie is red. Gary is round. Round, green things are blue. If something is rough and blue then it is nice. If something is nice and green then it is round. Round, nice things are green. All rough, blue things are round. If something is round then it is kind. If something is red and green then it is rough. If Charlie is round and Charlie is kind then Charlie is blue.
Anne is red.