Dave is blue. Dave is furry. Dave is quiet. Dave is rough. Erin is blue. Gary is furry. Gary is quiet. Gary is rough. Gary is smart. Harry is furry. Harry is quiet. Harry is smart. If someone is smart then they are quiet. If someone is green then they are not nice. Nice, blue people are not smart. If someone is green then they are not blue. Quiet people are rough. If someone is furry and not rough then they are smart.
Erin is not smart.