Bob is not blue. Bob is not cold. Bob is not green. Bob is rough. Charlie is blue. Charlie is not furry. Erin is furry. All smart people are furry. If someone is not blue then they are smart. If Charlie is furry and Charlie is smart then Charlie is green. If someone is young and cold then they are not blue. If someone is young then they are green. If Bob is rough and Bob is not furry then Bob is not green.
Erin is smart.