Anne is blue. Dave is green. Erin is blue. Erin is furry. Gary is big. Gary is furry. Gary is green. Cold, white things are big. All green things are nice. Furry, cold things are white. If Anne is cold and Anne is green then Anne is white. Cold things are white. If something is nice then it is furry. All green, furry things are cold. All furry, blue things are not cold. If something is big and not furry then it is not cold.
Anne is not cold.