Anne is blue. Anne is rough. Charlie is not red. Dave is kind. Erin is blue. Erin is nice. Erin is round. If something is smart then it is red. Round things are smart. Kind, red things are rough. If something is kind then it is round. All blue, round things are red. If something is rough and red then it is not blue. Kind things are nice. If something is blue and not rough then it is smart.
Charlie is red.