Anne is round. Charlie is rough. Charlie is smart. Dave is kind. Dave is smart. Fiona is cold. Fiona is green. Fiona is rough. Fiona is round. Fiona is smart. If something is kind then it is rough. Round things are rough. If something is round and cold then it is green.
Charlie is not green.