Charlie is quiet. Charlie is red. Charlie is smart. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is smart. Erin is furry. Erin is kind. If Dave is quiet then Dave is furry. If someone is furry then they are quiet. If someone is quiet and furry then they are smart. If Erin is furry then Erin is green. If someone is blue then they are red. If Charlie is quiet then Charlie is kind. If someone is smart and furry then they are kind. If Erin is smart and Erin is green then Erin is quiet.
Dave is not smart.