Charlie is kind. Charlie is smart. Erin is big. Fiona is smart. Gary is big. Gary is smart. Gary is young. If someone is not red then they are not cold. If someone is big and not red then they are not white. If someone is not cold then they are not red. Smart people are not red. If someone is white and not cold then they are big. All white, big people are not red. All kind people are big. If someone is not big then they are not young.
Charlie is not cold.