Bob is green. Bob is nice. Dave is not big. Dave is blue. Dave is nice. Dave is quiet. Dave is smart. Erin is smart. Harry is big. Harry is nice. All young, big things are not quiet. Big, blue things are young. If something is not green then it is blue.
Erin is not big.