Anne is nice. Anne is red. Anne is young. Dave is blue. Dave is green. Erin is big. Erin is blue. Erin is green. Erin is nice. Harry is red. Blue, big people are cold. Blue people are red. If Anne is red and Anne is cold then Anne is blue. If someone is big and nice then they are young. If someone is red and green then they are big. All cold people are nice. If someone is nice and big then they are red.
Harry is blue.