Anne is blue. Anne is cold. Anne is rough. Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is red. Bob is rough. Erin is nice. Erin is red. Erin is rough. Harry is furry. Harry is green. Harry is rough. If someone is nice then they are green. If someone is nice then they are blue. If someone is red then they are cold. If Bob is green and Bob is furry then Bob is rough. If someone is green then they are blue. All green, blue people are furry.
Harry is red.