Anne is cold. Anne is green. Anne is red. Anne is rough. Anne is smart. Anne is white. Anne is young. Charlie is rough. Charlie is white. Charlie is young. All rough people are smart. If someone is rough then they are cold. Smart, green people are rough. All cold people are red. If someone is cold and red then they are rough. Red people are green.
Charlie is green.