Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Charlie is blue. Charlie is cold. Charlie is green. Charlie is young. Dave is green. Dave is kind. Gary is blue. Gary is cold. Gary is green. Gary is kind. Gary is young. Young people are cold. If Charlie is young and Charlie is blue then Charlie is big. If Dave is young and Dave is big then Dave is blue. Big people are quiet. Cold people are quiet. All blue people are green.
Charlie is green.