Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is white. Erin is big. Erin is rough. Gary is big. Gary is kind. Gary is rough. Harry is quiet. All kind, quiet people are white. Red people are quiet. If someone is big then they are young. If Gary is quiet then Gary is young. If Erin is kind and Erin is rough then Erin is red. Young people are kind. If Charlie is not rough then Charlie is big. If someone is big and not red then they are kind. If someone is kind and not red then they are young.
Gary is not red.