Charlie is cold. Charlie is furry. Charlie is nice. Charlie is not smart. Charlie is white. Dave is big. Dave is cold. Dave is furry. Dave is nice. Gary is cold. Gary is not furry. Gary is smart. Harry is not big. Harry is not cold. Harry is smart. If someone is white and not big then they are cold. If someone is cold then they are white. If someone is white and smart then they are not nice.
Charlie is nice.