Bob is big. Bob is not cold. Bob is furry. Bob is green. Bob is round. Dave is cold. Dave is furry. Dave is not green. Erin is round. Harry is furry. Harry is not rough. Harry is smart. Rough, big things are round. All smart things are not rough. If something is smart then it is furry. Cold, green things are smart. Furry, green things are round. If something is green and not cold then it is round. If something is cold and not green then it is not round. If something is cold and not rough then it is not smart.
Erin is green.