Anne is green. Dave is green. Dave is smart. Erin is blue. Erin is green. Erin is smart. Harry is white. If something is blue then it is red. If something is cold and red then it is blue. Green, white things are red. If something is green and smart then it is white. If something is furry and white then it is cold. If something is smart and red then it is furry. If something is not green then it is smart. Blue things are red.
Erin is not furry.