Anne is not furry. Erin is cold. Erin is not furry. Erin is green. Erin is red. Erin is white. Fiona is cold. Fiona is smart. Fiona is white. Gary is furry. If someone is not round then they are white. If someone is smart and not red then they are not round. All furry, green people are not white. All white people are smart. Red, furry people are white. If someone is not green and not furry then they are smart.
Gary is not red.