Charlie is red. Dave is not white. Gary is furry. Harry is kind. If someone is not smart then they are red. Smart people are red. If Dave is red and Dave is furry then Dave is kind. If someone is round and cold then they are not kind. If someone is cold and not white then they are not round. If someone is red and furry then they are cold. If someone is cold and furry then they are red. Round people are cold.
Gary is not furry.