Charlie is not rough. Gary is cold. If someone is nice then they are not rough. If someone is not nice then they are not smart. If someone is nice and not rough then they are cold. If someone is not cold then they are not quiet. If someone is quiet and not cold then they are red. If someone is rough and not cold then they are smart.
Charlie is not red.