Charlie is round. Charlie is smart. Charlie is young. Dave is round. Erin is blue. Erin is furry. Erin is not young. If someone is smart then they are red. If someone is not furry then they are smart.
Erin is smart.