Anne is big. Anne is blue. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is young. Charlie is big. Charlie is blue. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is young. If something is kind and nice then it is red. All big, nice things are red. All red, nice things are rough. Big, kind things are blue. Kind, young things are red. If something is blue then it is kind. All blue things are nice. If Anne is young then Anne is nice.
Anne is red.