Bob is green. Bob is round. Bob is white. Charlie is red. Charlie is white. Dave is green. Dave is kind. Dave is round. Gary is quiet. Gary is white. If someone is white then they are quiet. Round people are kind. All green, quiet people are round. If Dave is kind then Dave is red. If someone is quiet then they are blue. Quiet, blue people are green. Blue, round people are white.
Charlie is blue.