Anne is furry. Anne is nice. Anne is not smart. Bob is cold. Bob is not nice. Bob is not red. Bob is not rough. Erin is furry. Erin is nice. Erin is red. Erin is smart. Erin is white. Harry is red. Harry is not rough. Harry is smart. Harry is white. If someone is white and cold then they are nice. If Anne is furry and Anne is cold then Anne is not nice. If someone is smart and not furry then they are white.
Harry is not red.