Bob is nice. Bob is smart. Bob is young. Charlie is green. Charlie is not quiet. Charlie is rough. Charlie is smart. Harry is big. Harry is green. Harry is nice. If Charlie is green then Charlie is smart. If something is young then it is nice. If something is big and not rough then it is green. Green, rough things are big. If something is big and nice then it is not young. If Charlie is not young then Charlie is nice.
Harry is not green.