Anne is cold. Anne is round. Anne is white. Anne is young. Bob is white. Charlie is green. Dave is cold. If something is round and green then it is blue. All white, green things are young. Cold, green things are round. If something is green and red then it is cold. If something is green then it is blue. Blue things are white. If Anne is not green then Anne is red. If Dave is young then Dave is green. If something is young and green then it is red.
Charlie is cold.