Anne is green. Anne is quiet. Anne is smart. Anne is white. Anne is young. Charlie is green. Gary is quiet. If someone is big and smart then they are green. Smart people are white. If Anne is furry and Anne is green then Anne is big. Furry, green people are young. If Charlie is young then Charlie is big. Furry, big people are quiet. If someone is smart and young then they are furry. All furry people are smart.
Charlie is not green.