Bob is big. Bob is nice. Bob is smart. Bob is young. Charlie is kind. Dave is cold. Gary is kind. If someone is round and cold then they are nice. Big people are cold. If someone is kind then they are young. Young people are big. All kind, round people are nice. Cold people are round. All nice people are kind.
Charlie is nice.