Charlie is kind. Dave is blue. Dave is kind. Dave is red. Dave is round. Dave is white. Dave is young. Erin is young. Gary is red. Gary is not round. All young things are red. All kind things are quiet. Blue things are white. Red things are white. All quiet things are blue. Blue, white things are young. If Dave is kind and Dave is not white then Dave is not blue. If Charlie is not quiet then Charlie is kind.
Charlie is round.