Charlie is red. Charlie is round. Charlie is young. Dave is blue. Dave is white. Dave is young. Erin is blue. Erin is red. Erin is not round. Harry is not white. If something is white then it is not smart. Round things are white. If something is young and not smart then it is white. All white, young things are red. If something is white and young then it is big. If something is red and not blue then it is round. If something is smart then it is young. If something is not red then it is big.
Charlie is white.