Anne is smart. Bob is green. Bob is kind. Bob is red. Charlie is green. Charlie is quiet. Gary is green. Gary is quiet. Gary is red. Gary is round. Kind people are red. If Charlie is red and Charlie is kind then Charlie is smart. Red, smart people are kind. All round people are quiet. All quiet people are green. Quiet, green people are red. If someone is quiet then they are round. If Anne is white and Anne is green then Anne is kind.
Charlie is white.