Charlie is blue. Charlie is kind. Charlie is smart. Erin is quiet. Erin is not red. Erin is smart. Gary is quiet. Gary is smart. Gary is white. Harry is blue. Harry is kind. Harry is quiet. Harry is red. Harry is smart. Harry is white. Harry is young. All smart things are kind. If something is young and white then it is red. All young things are smart. If Gary is red then Gary is blue. If Erin is white and Erin is red then Erin is kind. Blue things are quiet.
Charlie is not red.