Anne is furry. Anne is red. Anne is smart. Anne is young. Charlie is big. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is red. Charlie is smart. Dave is green. Dave is quiet. Dave is red. Erin is green. Erin is quiet. Erin is young. If someone is big and quiet then they are young. All green people are quiet. Quiet, smart people are red.
Anne is smart.