Anne is quiet. Bob is furry. Bob is quiet. Bob is red. Bob is white. Bob is young. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is red. Charlie is young. Erin is green. If someone is green and red then they are smart. If Charlie is white and Charlie is furry then Charlie is quiet. If someone is furry and young then they are green.
Anne is not smart.