Anne is blue. Anne is cold. Anne is furry. Bob is round. Bob is white. Charlie is cold. Charlie is furry. Charlie is green. Charlie is red. Gary is furry. All green people are blue. If Gary is green then Gary is cold. If Bob is white then Bob is cold. If someone is white then they are green. If Gary is furry then Gary is white. Red people are blue.
Charlie is green.