Anne is cold. Bob is green. Charlie is cold. If something is furry then it is white. If something is not cold then it is smart. If something is white and not furry then it is green. If something is cold and not furry then it is green. If Bob is not green then Bob is white. If something is not white then it is smart.
Anne is green.