Anne is green. Anne is nice. Anne is not red. Anne is not rough. Anne is not white. Anne is not young. Bob is cold. Bob is nice. Bob is red. Bob is rough. Bob is young. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is not young. Young, nice things are rough. All white, young things are green. White, cold things are red. If something is cold then it is green. If something is not cold then it is nice. Red things are green. If something is red and green then it is rough. If something is rough and not nice then it is white.
Bob is not cold.