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