Charlie is cold. Charlie is kind. Charlie is nice. Charlie is red. Charlie is white. Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Gary is big. Gary is cold. Gary is furry. Gary is red. Gary is white. If someone is white then they are red. If someone is red then they are furry.
Charlie is not white.