Anne is blue. Anne is cold. Anne is not furry. Anne is green. Anne is white. Bob is cold. Bob is furry. Bob is green. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is white. Gary is blue. Gary is not white. If Gary is smart and Gary is blue then Gary is green. If something is nice then it is smart. All blue, smart things are not green.
Bob is white.