Anne is blue. Anne is cold. Anne is green. Charlie is big. Charlie is cold. Charlie is green. Charlie is rough. Dave is big. Dave is cold. Dave is young. Gary is blue. Gary is cold. Gary is green. Gary is rough. Gary is young. If Gary is young then Gary is smart. If Gary is green then Gary is big.
Anne is green.