Bob is smart. Dave is big. Dave is cold. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Erin is big. Erin is green. Erin is quiet. Erin is smart. Harry is cold. Kind things are smart. If Dave is cold and Dave is quiet then Dave is green. If Harry is cold and Harry is smart then Harry is furry. If Harry is big and Harry is quiet then Harry is cold. Furry, big things are smart. If something is green then it is quiet. All cold things are kind. If something is furry then it is green.
Erin is not big.