Anne is big. Anne is cold. Anne is nice. Anne is rough. Anne is smart. Anne is young. Charlie is not big. Charlie is cold. Charlie is green. Charlie is not nice. Charlie is rough. Charlie is smart. Charlie is young. Dave is rough. Dave is not young. Harry is smart. If someone is smart and not green then they are cold. All cold people are young. If Harry is big and Harry is young then Harry is rough.
Dave is not big.